Symbol: fib4_semantics_exit