int read_int32 () { int w1 = read_int16 (); if (w1 == -1) return -1; int w2 = read_int16 (); if (w2 == -1) return -1; return w1 | (w2 << 16); }
