double-penetration-compilation (117.150)