public LineNumberTableAttribute(ushort lineno) { LineNumberWriter w = new LineNumberWriter(1); w.AddMapping(0, lineno); table = w.ToArray(); }