external icsat_mk_false : unit -> prop = "icsat_mk_false"