#ifndef MBFLIP_HEADER_INCLUDED
#define MBFLIP_HEADER_INCLUDED

extern int *yfalse, *wherefalse, numvio;
extern int *make;
extern int *brake;
extern int *sat;

__inline void flip(int xflip);

#endif