use smaller special label for longjmp