letcc[int] c in
  throw[int] 3 to c
end
;