Traps compilation