A C implementation of AES-SIV
