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'; }
}