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