public override string ToString() { return String.Format ("{0} ({1}:{2}:{3}:{4:x}:{5:x})", GetType (), name ?? "<unknown>", Offset, RealOffset, start_pc, end_pc); }