method get_slice_name () = slice_name