html
  head
    title Dynamic Inline JavaScript
    script.
      var users = !{JSON.stringify(users).replace(/<\//g, "<\\/")}