const _IMPL_ARBITRARY_FOR_BitNotUint16: ();