double penetration compilation

Tap once to include, twice to exclude.