string[] ReadStringTable(BinaryReader br) { int sz = br.ReadInt32 (); string [] ret = new string [sz]; for (int i = 0; i < sz; i ++) ret [i] = br.ReadString (); return ret; }