Impl-Correlate: Code the function prototypes.