Source code for generating the C implementations of HAWK - View it on GitHub