Symbol: get_no_opt