refined and documented regionized pointers