Code has been debugged, Appendix I test vectors work, Random test vectors agree with C implementation