let
double_nl =
"\013\010"