!7

html {
  ret pre_htmlencode(renderMemoryPoolSizes());
}