const _IMPL_ARBITRARY_FOR_CastInt16ToInt64: ();