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