let
c_ptr () =
make_c_int
false
Cil
.theMachine.
Cil
.theMachine.sizeof_ptr