Double-penetration-compilation