let left_pad string width = let l = String.length string in if l >= width then string else String.make (width - l) ' ' ^ string