Symbol: gl_check_caught_signal