t12
#define pv t12 /* procedure-variable register */
uint32_t t12;
s64 t12, t34, now;
t12 = t1 + (t2 - t1) / 2;
now += (t34 - t12);