Symbol: slice_get_size