structure Pointer =
  struct
    val NULL : [’a. unit -> ’a ptr]
    val advance : [’a. ’a ptr * int -> ’a ptr]
    val importBytes : word8 ptr * int -> word8 vector
    val importString : char ptr -> string
    val isNull : [’a. ’a ptr -> bool]
    val load : [’a. ’a ptr -> ’a]
    val store : [’a. ’a ptr * ’a -> unit]
  end