Syntax error on /Users/wong.justin/Documents/eudoxus/final_result_baselines/ft-one_shot_COT_ucl_code/bk_ex3_23.ucl, line 25: end of input expected.
type state_t = enum { RED, GREEN, YELLOW };
