sS sourceCodeToHTML_noEncode(S html) {
  ret [[<pre style="white-space: pre-wrap; white-space: -moz-pre-wrap; white-space: -pre-wrap; white-space: -o-pre-wrap; word-wrap: break-word;">]] + html + "</pre>";
}