double-penetration-compilation (173.871)