Runtime error: Cast failed. Expected `OTHER`, got `Int` (../lib/standard/kernel.nit:433)
true
true
true