Symbol: hard_trap_info