DEFINITION MODULE CDef; (* Definition-only class for separate-object M2make tests. *) TYPE CLASS Shape; x : INTEGER; VIRTUAL PROCEDURE Area () : INTEGER; END Shape; END CDef.