compile: better types checks on virtual type
[nit.git] / tests / shootout_ackermann.args
1 4