[farroyo@os test]$ ../userprog/nachos -x semaforito
Machine halting!

Ticks: total 632, idle 0, system 550, user 82
Disk I/O: reads 0, writes 2
Console I/O: reads 0, writes 0
Paging: faults 0
Network I/O: packets received 0, sent 0

Cleaning up...
[farroyo@os test]$ more brbr.txt 
waitsignal