public void SaveToFile(string filename)
        {
            Buf b = SaveToBuf();

            b.WriteToFile(filename);
        }