let xaddr_of_pointer p = Lptr p