Proper Put_Line with bounded-sized strings