Factor out FORWARD from the metacompiler into a separate library.