143a144,146
> /* Deprecated, but used in the regression tests. */
> void end_module() {}
>