orig_start_lineno 2479 main/main.c    			int orig_start_lineno = CG(start_lineno);
orig_start_lineno 2483 main/main.c    				CG(start_lineno) = orig_start_lineno;