} while(0);
/* W2: wait for results, with timeout */
#define W2(ret, body) \
do { \
f64 timeout = vat_time_now (vam) + 1.0; \
} while(0);
/* W2: wait for results, with timeout */
#define W2(ret, body) \
do { \
f64 timeout = vat_time_now (vam) + 1.0; \