Symbol: get_pinnum_by_name