spec module C {
  proc ONE() returns v:float ensures true;
  proc TWO() returns v:float ensures true;
  proc THREE() returns v:float ensures true;
  proc FIVE() returns v:float ensures true;
  proc ROH() returns v:float ensures true;
  proc ROHI() returns v:float ensures true;
  proc ROHI2() returns v:float ensures true;
  proc ANGLE() returns v:float ensures true;
  proc OMAS() returns v:float ensures true;
  proc HMAS() returns v:float ensures true;
  proc WTMOL() returns v:float ensures true;
/*.....UNITS USeD TO SCALe VARIABLeS (IN C.G.S.) */
  proc UNITT() returns v:float ensures true;
  proc UNITL() returns v:float ensures true;
  proc UNITM() returns v:float ensures true;
  proc BOLTZ() returns v:float ensures true;
  proc AVGNO() returns v:float ensures true;
/* .....FORCe CONSTANTS SCALeD(DIVIDeD) BY (UNITM/UNITT**2) */
  proc FC11() returns v:float ensures true;
  proc FC33() returns v:float ensures true;
  proc FC12() returns v:float ensures true;
  proc FC13() returns v:float ensures true;
  proc FC111() returns v:float ensures true;
  proc FC333() returns v:float ensures true;
  proc FC112() returns v:float ensures true;
  proc FC113() returns v:float ensures true;
  proc FC123() returns v:float ensures true;
  proc FC133() returns v:float ensures true;
  proc FC1111() returns v:float ensures true;
  proc FC3333() returns v:float ensures true;
  proc FC1112() returns v:float ensures true;
  proc FC1122() returns v:float ensures true;
  proc FC1113() returns v:float ensures true;
  proc FC1123() returns v:float ensures true;
  proc FC1133() returns v:float ensures true;
  proc FC1233() returns v:float ensures true;
  proc FC1333() returns v:float ensures true;
/*.....WATeR-WATeR INTeRACTION PARAMeTeRS */
  proc QQ() returns v:float ensures true;
  proc A1() returns v:float ensures true;
  proc B1() returns v:float ensures true;
  proc A2() returns v:float ensures true;
  proc B2() returns v:float ensures true;
  proc A3() returns v:float ensures true;
  proc B3() returns v:float ensures true;
  proc A4() returns v:float ensures true;
  proc B4() returns v:float ensures true;
  proc CM() returns v:float ensures true;
  proc AB1() returns v:float ensures true;
  proc AB2() returns v:float ensures true;
  proc AB3() returns v:float ensures true;
  proc AB4() returns v:float ensures true;
  proc C1() returns v:float ensures true;
  proc C2() returns v:float ensures true;
  proc QQ2() returns v:float ensures true;
  proc QQ4() returns v:float ensures true;
  proc NDIR() returns v:int ensures true;
  proc XDIR() returns v:int ensures true;
  proc YDIR() returns v:int ensures true;
  proc ZDIR() returns v:int ensures true;
  proc NATOM() returns v:int ensures true;
  proc MAXODR() returns v:int ensures true;
  proc MAXODR2() returns v:int ensures true;
  proc DISP  () returns v:int ensures true;
  proc VEL   () returns v:int ensures true;
  proc ACC   () returns v:int ensures true;
  proc DER_3 () returns v:int ensures true;
  proc DER_4 () returns v:int ensures true;
  proc DER_5 () returns v:int ensures true;
  proc DER_6 () returns v:int ensures true;
  proc FORCES() returns v:int ensures true;
}