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