[void header() {] Content-Type: application/xhtml+xml; charset=UTF-8 [}] [void body() {] [for (int i = 0; i < 3; i++)]

hello, world

[}] [void html() {] [body();] [}]