REC_PR_DEFINE
#define REC_PR_DEFINE() {}
#define REC_PR_DEFINE() v_t x0, y0, t0
#define REC_PR_DEFINE() MUL2_SETUP()