Added a C implementation in hopes of determining where the problems are. This doesn't work either, but at least proves that our f, encrypt, decrypt, and keysched work right.