symbol_id.js
function cleanPath(p) {
  p = JSON.stringify(p);
  return p.slice(1, p.length - 1);
}
function cleanPath(p) {
  p = JSON.stringify(p);
  return p.slice(1, p.length - 1);
}
function cleanPath ( p ) { p = JSON . stringify ( p ) ; return p . slice ( 1 , p . length - 1 ) ; }
cleanPath escapes unprintable chars in p.
cleanPath escapes unprintable chars in p .