Cleaning up the code that checks for innocent system calls