Symbol: trap_info