template `+`[I: IndexType; T](s: ptr T; i: I): ptr T

template `-`[T](a, b: ptr T): ptrdiff_t

template `<%`[T](a, b: ptr T): bool

template `<=%`[T](a, b: ptr T): bool

template `[]`[I: IndexType; T](p: ptr T; i: I): T

template inc[T](s: ptr T; i = 1)