/*dmpast dump cooling, calls coolpr with most important coolants */
void dmpast(void);