crhead.outputline("~"+name+"();");
craux.outputline("#include \""+headername+"\"");
craux.outputline("#include \"size.h\"");
crhead.outputline("~"+name+"();");
craux.outputline("#include \""+headername+"\"");
craux.outputline("#include \"size.h\"");
if (Compiler.ALLOCATECPLUSPLUS) {
for(Iterator it=state.stTypes.descriptors();it.hasNext();) {
TypeDescriptor td=(TypeDescriptor)it.next();
if (Compiler.ALLOCATECPLUSPLUS) {
for(Iterator it=state.stTypes.descriptors();it.hasNext();) {
TypeDescriptor td=(TypeDescriptor)it.next();