7 //STATE TRANSITION END STATE ACTION(S)
11 chroot(pid: int, newroot:char*) Newroot {savepid(pid); savenewroot(newroot);}
19 chdir(pid: int, newdir: char *)
20 [thisprocess(ctxt, pid)==1 && checknewdir(newdir)==1] Destroy
22 chdir(pid: int, newdir: char *)
25 open(pid: int)[thisprocess(ctxt, pid)==1]
27 {warning(); destroyfsm();}