module

proc die() #{noreturn} -> Int (* @Error Attribute 'noreturn' cannot be used with a return type *)
extern

end.