private String ReadString(int n) { byte[] b = new byte[n]; inp.ReadFully(b); int k; for (k = 0; k < b.Length; ++k) { if (b[k] == 0) break; } return encoding.GetString(b, 0, k); }