PROGRAM_END PROGRAM_PANIC PROGRAM_START 1 main_BB1 call_0_RETURN main_RETURN (PROGRAM_START, call_0_RETURN) 1 (main_BB1, main_RETURN) 1 (call_0_RETURN, main_BB1) 1 (main_RETURN, PROGRAM_END) 1