code: function escapeLabel(lbl) {
  	return lbl.replace(/[{}"<>]/g, '\\$&').replace(/\t/g,'\\t').replace(/\n/g,'\\n').replace(/\r/g,'\\r').replace(/\f/g,'\\f')
  }
docs: ------------------------------------------------ Points-to graph to Graphviz Dot ------------------------------------------------