Teoria confermata
bastava fare:
codice:
printf("%d %d %d %d\n", false, true, FALSE, TRUE);