posix: system syscalls now call checkAddress on pointer arguments
posix: pipe() checks its array argument for sanity now
posix: console syscalls now check pointer arguments
posix: open() now checks pointer argument (oops!)
posix: net syscalls now check their pointers arguments