'trap' compilation xxx