Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives
-----

... which would make a good paper title.

To build:

	export COQPATH="$(pwd)/coqprime${COQPATH:+:}$COQPATH"
	make