checking branching
Merge branch 'jessica' of https://github.com/jeche/OPS into aslyn
Updated cases for all the syscalls