0
0
0
Cast failed (alt/base_as_cast_alt2.nit:46)