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