let pointer_of_xaddr a : D.pointer = match a with
      | Lptr ptr -> ptr
      | _ -> L.pointer_of_addr (term_of_xaddr a)