procedure List.4 (List.131, List.132): let List.629 : U64 = 1i64; let List.627 : List I64 = CallByName List.70 List.131 List.629; let List.626 : List I64 = CallByName List.71 List.627 List.132; ret List.626; procedure List.70 (#Attr.2, #Attr.3): let List.630 : List I64 = lowlevel ListReserve #Attr.2 #Attr.3; ret List.630; procedure List.71 (#Attr.2, #Attr.3): let List.628 : List I64 = lowlevel ListAppendUnsafe #Attr.2 #Attr.3; ret List.628; procedure Test.0 (): let Test.2 : List I64 = Array [1i64]; let Test.3 : I64 = 2i64; let Test.1 : List I64 = CallByName List.4 Test.2 Test.3; ret Test.1;