@override void checkpoint(int state, int i, FContext context, IList<FContext> stack) { _state = state; _curr = i; _context = context; _stack = stack; }