int read_int16 () { int b1 = res_file.ReadByte (); if (b1 == -1) return -1; int b2 = res_file.ReadByte (); if (b2 == -1) return -1; return b1 | (b2 << 8); }