tree 213565ca80e0b88adfeeee7a5a5c9085c7edfd21
parent 77c892c88e210c05339f8100a5c6be191965d4e5
author Victor Zverovich <victor.zverovich@gmail.com> 1503848488 -0700
committer Victor Zverovich <victor.zverovich@gmail.com> 1503848488 -0700

Add ptr, a helper function for pointer formatting