Symbol: get_bdb_header