Symbol: ibss_dbg