Symbol: __db_log2