//TEST:EXECUTABLE:

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