external icsat_mk_atom : int -> int -> prop = "icsat_mk_atom"