begin var p: procedure := ()->raise new Exception; end.