type ref=^Elem;
     Elem = RECORD
        Inf: integer;
        Next: ref;
        end;
var L, p: ref;
    x: integer;
const Strelka = '->';

Procedure Print_List(p: ref);
begin
  while p<>nil do
  begin
    write(Car(p),Strelka);
    p:=Cdr(p);
  end;
  writeln
end;


Begin
  L:=nil;
  write('Element: ');
  readln(x);
  while x<>0 do
  begin
    L:=Cons(x,L);
    write('Element: ');
    readln(x);
  end;
  Print_List(p);
  
END.

procedure DeleteAfter(var p: ref);
var to_delete: ref;
begin
  to_delete := Crd(p);
  p^.next := Crd(to_delete);
  dispose(to_delete);
end;

{ А вот та самая процедура:  }
Procedure Delete_After(var p: ref);
var
  curr: ref;
  X: integer;
begin
  write('Vvedite X = '); readln(X);
  curr := p;
  while curr <> nil do begin
    if curr^.inf = X then begin
      { если следующий есть и он не равен X ... }
      if (Cdr(curr) <> nil) and (Cdr(curr)^.Inf <> X) then
        DeleteAfter(curr) { ... то удалить его }
    end;
    curr := Cdr(curr);
  end;
end;