// no inicio .. algures
init(parking, N);
init(choosing, 1);


// c)
void viatura(void * arg) {
	wait(parking); // esperar por lugares livres
	wait(choosing); // esperar por poder escolher

	choose(); // escolher lugar

	signal(choosing); // assinalar lugar escolhido
}