test NMOD_RED3_pk macro, too