let pp_addr fmt a = F.pp_term fmt (term_of_xaddr a)