const _IMPL_ARBITRARY_FOR_Magic: ();