let
main_end =
"\n}\n"