let
null =
let
null_obj =
Ctypes
.
C_pointer
Cil
.charType
in
Addr
(
F
.i_zero,null_obj)