moved debug output to OdeDefs.h