double-penetration-compilation (101.620)