void EnviarAlarme ()

ConcurrencyrsSequentialConcurrencyVisibilityrsProtected

Code
printf("MSG_SELL: Sending alarm...\n\n");

// mandar msg para barramento de dados
vsel_interface.write('x').send();