Python code to convert Khazad test vectors to C code.
Basic vectors test, using official test vectors, parsed with Python parse-vectors.py.