internal virtual void Write(PEWriter output, bool fatFormat)
{
if (fatFormat) output.Write(start.GetLabelOffset());
else output.Write((short)start.GetLabelOffset());
uint len = end.GetLabelOffset() - start.GetLabelOffset();
if (Diag.DiagOn) Console.WriteLine("block start = " + start.GetLabelOffset() + " len = " + len);
if (fatFormat) output.Write(len);
else output.Write((byte)len);
}