tests/sav/base_as_cast_alt5.sav

   1 0
   2 0
   3 0
   4
   5 2
   6 2
   7 2
   8 2
   9 2
  10 Cast failed (alt/base_as_cast_alt5.nit:57)
  11 ,---- Stack trace -- - -  -
  12 | base_as_cast_alt5::Sys::(kernel::Sys::main) (alt/base_as_cast_alt5.nit:39)
  13 `------------------- - -  -