:9:::0:0(exception:invalid index)::0:0(exception:invalid index)
0:0:::1:k1(IntegerType)::1:1(IntegerType)
1:0:::1:k2(IntegerType)::1:2(IntegerType)
2:0:::1:k3(IntegerType)::1:3(IntegerType)
3:0:::1:k4(IntegerType)::1:4(IntegerType)
4:0:::1:k5(IntegerType)::1:5(IntegerType)
5:0:::1:k6(IntegerType)::1:6(IntegerType)
6:0:::1:k7(IntegerType)::1:7(IntegerType)
7:0:::1:k8(IntegerType)::1:8(IntegerType)
8:0:::1:k9(IntegerType)::1:9(IntegerType)
