Update main.c

Acrescentou-se releases de semáforos e outras porcarias.