int read_reg(void) { int ret[2]; ret[0] = REG; for (;;) { ret[1] = REG; if (ret[0] == ret[1]) { return ret[0]; } ret[0] = ret[1]; } }