slices erata and slice constructor & unit test