ひきょくしょぶんき

non-local jump; non-local branch