orig_start_lineno 2605 main/main.c    			int orig_start_lineno = CG(start_lineno);
orig_start_lineno 2609 main/main.c    				CG(start_lineno) = orig_start_lineno;