protected static bool skip_symbol_table(BinaryReader reader)
{
if (read_int32_LE(reader) != OPENFST_SYMBOL_TABLE_MAGIC)
return false;
skip_string(reader); // name
read_int64_LE(reader); // available key
Int64 n = read_int64_LE(reader);
for (int i = 0; i < n; i++)
{
skip_string(reader); // key
read_int64_LE(reader); // value
}
return true;
}