create bad 1 0
create p1 1 2
schedule unknown
block 99
wakeup 99
kill 99
fork 99
send 99 1 invalid_sender
send 1 99 invalid_receiver
recv 99
sem_create mutex 1
sem_wait 99 1
shm_create 0
shm_create 300
shm_create 8
shm_write 1 1 0 denied
shm_attach 1 1
shm_write 1 1 6 overflow
shm_read 1 1 6 2
shm_destroy 1
shm_read 1 1 0 4
pipe_create
pipe_close 1 1 1
pipe_read 1 1
resource_add bad 0
resource_add R1 2
request 1 1 0
request 99 1 1
release 1 1 1
detect_deadlock
queue
exit
