# test nested implicit imports by extend

resource a
    const int N = 10
end

resource b
    extend a
    const int M = N+30
    const int L = a.N+100
    import a    # no problem, in theory
    const int K = a.N + 74
end

resource c
    extend b
body c()
    write (N, M, L, a.N, b.N, b.M, K)
end