#include
#include
#include
CLIPPER b_flush() { fflush(stdout); _ret(); }