syn-wrt works. syn-read broken.
Fixing bad-ptr
2/76 tests failed. syn-read almost working
1/76 tests failed. syn-read FINALLY working!
Merge branch 'master' of https://github.com/mckloc/Pintos