Symbol: algtype_cast128