and trace slicing. 之后会要的