external icsat_mk_var : string -> prop = "icsat_mk_var"