~skeeto/mkproof-fast