tokenize_main and parse_main