PMF_TRANSITION_PRINTF2
#define PMF_TRANSITION_PRINTF2(y,x) if (pmf_debug_transition>y) printf x
#define PMF_TRANSITION_PRINTF2(y,x) do { } while (0)