
global.f := (λ x. throw) ;

global.g := (λ x. run global.f x) ;

run global.g ?

