let pretty fmt v = Format.fprintf fmt "sid:%d" v