let new_empty_slice fi = new_slice fi None