PROGRAM_END PROGRAM_PANIC PROGRAM_START 1 main_BB1 main_GOTO_0 main_GOTO_1 (PROGRAM_START, main_GOTO_0) 1 (main_BB1, main_GOTO_1) 1 (main_GOTO_0, main_BB1) 1 (main_GOTO_1, main_BB1) 1