AST: hslice is done