Symbol: get_dos_name