case_else goto "restore"