#include <stdio.h>


int [*]main() {
  [host]printf("Hello, world.\n");
}