Ne consegue quindi che la soluzione più corretta dovrebbe essere
codice:
#include <stdio.h>

int main(void)
{
    return (printf("Hello World!\n")<0)?1:0;
}
; ma non credo che nessuno in ambiti "normali" si sia mai curato di controllare il valore di ritorno della printf...