Same remark as above: ideally, generate outputs at compile time using the toplevel.