double-penetration-compilation (111.343)