procedure Dict.1 (): let Dict.102 : List {[], []} = Array []; ret Dict.102; procedure Dict.7 (Dict.96): let Dict.101 : U64 = CallByName List.6 Dict.96; ret Dict.101; procedure List.6 (#Attr.2): let List.385 : U64 = lowlevel ListLen #Attr.2; ret List.385; procedure Test.0 (): let Test.2 : List {[], []} = CallByName Dict.1; let Test.1 : U64 = CallByName Dict.7 Test.2; dec Test.2; ret Test.1;