use parse_and_check in main