#ifdef DEBUG
#  include <stdio.h>
#  define __debug(...) do { \
	fprintf(stderr, __VA_ARGS__);		\
    } while (0)
#else /* DEBUG */
#  define __debug(...)
#endif

#ifdef _PPE_DEBUG
#  include <stdio.h>
#  define __debug_ppe(...) do { \
	printf("[PPE] "); printf(__VA_ARGS__);	\
    } while (0)
#else /* DEBUG */
#  define __debug_ppe(...)
#endif

#ifdef _PPE_DEBUG
#  include <stdio.h>
#  define __debug_spe(...) do { \
	printf("[SPE] "); printf(__VA_ARGS__);	\
    } while (0)
#else /* DEBUG */
#  define __debug_ppe(...)
#endif