import "deep3" as m;
def f: [21, m::f];