Added GenSys for demo of system call mutexes