Syntax error on /Users/wong.justin/Documents/eudoxus/final_result_baselines/ft-one_shot_COT_ucl_code/bk_ex2_32.ucl, line 4: end of input expected.
type message_t;
