To compile the main/synoptic/properties submodule.

§1. Our inventory inv already contains a list inv->property_nodes of all packages in the tree with type _property.

void SynopticProperties::compile(inter_tree *I, pipeline_step *step, tree_inventory *inv) {
    if (InterNodeList::array_len(inv->property_nodes) > 0) Assign unique property ID numbers1.1;
    Define CCOUNT_PROPERTY1.2;
}

§1.1. Each property package contains a numeric constant with the symbol name property_id. We want to ensure that these ID numbers are contiguous from 0 and never duplicated, so we change the values of these constants accordingly.

Assign unique property ID numbers1.1 =

    InterNodeList::array_sort(inv->property_nodes, MakeSynopticModuleStage::module_order);
    for (int i=0; i<InterNodeList::array_len(inv->property_nodes); i++) {
        inter_package *pack = PackageInstruction::at_this_head(inv->property_nodes->list[i].node);
        inter_tree_node *D = Synoptic::get_definition(pack, I"property_id");
        ConstantInstruction::set_constant(D, InterValuePairs::number((inter_ti) i));
    }

§1.2. Define CCOUNT_PROPERTY1.2 =

    inter_name *iname = HierarchyLocations::iname(I, CCOUNT_PROPERTY_HL);
    Produce::numeric_constant(I, iname, K_value, (inter_ti) (InterNodeList::array_len(inv->property_nodes)));