slice_2_32

by SPARK