Symbol: get_slice_num