const _IMPL_ARBITRARY_FOR_NegInt64: ();