double-penetration-compilation (193.609)