let object_of_pointed_opt = function 
      | None -> None 
      | Some ty -> Some (Ctypes.object_of_pointed ty)