Symbol: get_synthinfo_nospec