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