external icsat_mk_true : unit -> prop = "icsat_mk_true"