This repo collects some simple test vectors in machine-processable form.