Non funge
Ho provato a scrivere
$gcc -o prova.bin ma mi dava l'errore "gcc: no input files"

$gcc -o prova.c prova.h ma dava l'errore no such files or directory
e no input file