result_ok library Null safety