// Test
void main(void)
{
  // Say hello
  printf("Hello, world!");
}

// End of file