Add a primitive for regEn#