OBJ_DOM_DH942_SUBPRIME_BITS
OBJ_DOM_DH942_SUBPRIME_BITS(object_p), template));
OBJ_DOM_DH942_SUBPRIME_BITS(obj);