let
pretty fmt (x,k) =
Format
.fprintf fmt
"%s%%%d"
x k