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