don't use pointer types for useland pointers