Figure 9: State machine representation of a constraint validating that our process has not done any system call between states “” and “.”