proc typed(a) : Int { if (a > 0) return a; } proc main() { "", ?? typed(1), '\n'; "", ?? typed(1.0), '\n'; try { typed(0); } catch (e) { "Caught ", e, '\n'; } }