alt/base_virtual_int_alt1.nit:6,5: Type error: expected Int, got Discrete