let
pp_id fmt pid =
Format
.fprintf fmt
"%s"
(prop_txt pid)