Templating should come from FLINT.