const _IMPL_ARBITRARY_FOR_NegInt32: ();