tests: add formal types to serialization tests
[nit.git] / tests / shootout_ackermann.args
1 4