const _IMPL_ARBITRARY_FOR_CastInt16ToInt32: ();