In Penknife, finally wrote an example that uses linear values to build a flow graph.
In Penknife, made call-with-flow-grapher validate that all its flow graphers are used exactly once.