icode: if inlining is impossible, at least use a static call
[nit.git] / tests / sav / base_int2.sav
2009-07-04 Jean Privattests: new base_int and base_int2