%:include <stdio.h>

int main(int argc, char *argv<::>)
<%
  printf("Hello world.\n");

  return 0;
%>