public void Dump()
{
foreach (Context c in contextTable) {
Console.WriteLine ("size {0}, type {1}", c.Size, typeTable [c.Type]);
foreach (int i in backtraceTable [c.Backtrace])
Console.WriteLine (" {0} {1}", i, methodTable [i]);
Console.WriteLine ();
}
}