public override string ToString() { if (CodeBox == null) { return("(unused code box)"); } return(CodeBox.ToString()); }