Function write_contexts_program 

pub fn write_contexts_program(
    machine: &Machine,
    map: &PhysicalMap,
    compaction: &Compaction,
    set: &ColumnSet,
    weights: &mut dyn WeightSource,
    greedy: bool,
    contexts: usize,
    dir: &Path,
) -> Result<EngineProgram>

write_hybrid_program, greedy when greedy (write_greedy_program), for an engine of contexts sequencer contexts (super::rtl::engine::Streaming::contexts): the machine’s sequences dealt over them, sequence s in context s mod contexts as its row s / contexts, the store laid for a context’s rows — an error unless the sequences fill every context alike.