let pp_status fmt s = let n = String.length s in if n < dim then let m = String.make dim ' ' in let p = (dim - n) / 2 in String.blit s 0 m p n ; Format.fprintf fmt "[%s]" m else Format.fprintf fmt "[%s]" s