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