generic
    type T is private;

procedure Cserel ( A, B: in out T );