1 2 3 4 5 6 7
type Wicket; procedure Dummy(); implementation Dummy() { var x: Wicket; assert (x!=x); }