Function stringtrim

docs/tests/v2/es6/js/sanddance.js:80030–80033

(str)

}

function stringtrim (str) {
  if (str.trim) return str.trim()
  return str.replace(/^\s+|\s+$/g, '')
}

function toHex (n) {
  if (n < 16) return '0' + n.toString(16)