Handwritten Reference Implementations
=====================================

This folder contains handwritten assembly that has been replaced by verified
implementations. The code here is not used directly, but may be helpful in
cross-referencing to understand the verified code.