nitc :: Instance :: to_i32
else aborts
# Return the integer value if the instance is a int32. # else aborts fun to_i32: Int32 do abort
redef fun to_i32 do return val.as(Int32)