let str_exact str exact =
let len = String.length str in
let take = if len > exact then exact else len in
let str_exact str exact =
let len = String.length str in
let take = if len > exact then exact else len in
let p_stat width (exe, out) =
(* All this gymnastics to ignore color codes in cell width *)
let min = 5 in
let width = if width > min then width else min in
let p_stat width (exe, out) =
(* All this gymnastics to ignore color codes in cell width *)
let min = 5 in
let width = if width > min then width else min in