@Override public PIntegerSequenceIterator executePIntegerSequenceIterator(VirtualFrame frame) throws UnexpectedResultException { probe.enter(child, frame); PIntegerSequenceIterator result; try { result = child.executePIntegerSequenceIterator(frame); probe.leave(child, frame); } catch (KillException e) { throw (e); } catch (Exception e) { probe.leaveExceptional(child, frame, e); throw (e); } return result; }