let
is_null l =
F
.e_app2
"addr_eq"
(ptr l) (model_ptr
F
.i_zero
F
.i_zero)