INT/CLN: clean up block slicing semantics