Symbol: to_db7430