Symbol: have_traps