#ifndef _PUMPE_H_ #define _PUMPE_H_ void do_pumpe(void); #endif