// This file was generated by DAJ from program.cd.

import edu.neu.ccs.demeter.*;

class TrueC {
  TrueC() {
  }
}