let
rstrip =
String
.rstrip