extra: futz around with get_other_name_sym()