const _IMPL_ARBITRARY_FOR_CastStringToChar: ();