type T = class public T: T; end; begin end.