//TEST:EXECUTABLE:

public __extern_cpp int main()
{
    printf("Hello World.\n");
    return 0;
}