52a0ad18c3ef5b36f6ef32dcf76791bff27c1029
[nit.git] / tests / sav / base_inline_closure2.sav
1 0
2 1
3 2
4 10
5 1
6 12
7 10
8 11
9 12