import "deep3" as m;
import "data" as $d;
def f: [22, m::f, ($d | length)];