/SubstitutionTable.java/1.5/Fri Mar 26 13:40:55 2004//
/VariableTable.java/1.1/Fri Jul  4 16:28:37 2003//
