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