// expect: 3 1
// a function of a block calling another of the same block doesn't take the lock again, and a later block may be entered from an earlier one
namespace;
include rt;
int later();
hold {
    shared let depth, calls;
    fn inner() { calls++; return depth; }
    fn outer() { depth = depth + 1; inner(); inner(); inner(); return calls; }
}
hold { shared let seen; fn later() { seen++; return seen; } }
fn main() { rt.put_n(outer()); rt.put_c(' '); rt.put_n(later()); rt.put_c(10); return 0; }