Uso de void.

[vosk]

"...Pero int main () tampoco devuelve ningún tipo de dato..."

Seguro? El int main retorna un entero, 0 por defecto que indica que la aplicacion ha finalizado correctamente; esto es especialmente útil para aplicaciones que lanzan otro proceso y esperan una operacion o un resultado (si hubo algun error en esa tarea la aplicacion debe retornar un indice de error diferente de 0)

El int main es en verdad una redeclaracion de otra funcion de entrada, que lleva dos argumentos: un entero contador de argumentos y una lista de textos. Por defecto el s.o. asigna a este contador el numero de argumentos, y como argumentos una lista que siempre comienza por la ruta absoluta de la aplicacion lanzada. Esta redeclaracion acepta que llames a la funcion con argumentos y sin argumentos. En cualquier caso debe retornar un entero; el compilador por defecto te añadirá un return 0.

Los prototipos en C sirven para definir las funciones, y siempre tienen que estar prototipadas antes de usarse. Se suele prototipar antes del main en una cabecera para el main. El primer void lleva ; porque es la declaracion de un prototipo, es como si declararas una variable, y el segundo es la funcion en si, que por definicion del lenguaje está encerrado en corchetes y no finaliza con ;

Saludos
vosk