pub fn precharge_for_module_instantiation(
    block_config: &BlockConfig,
    context: ContextChargedForInstrumentation,
    section_sizes: &InstantiatedSectionSizes,
) -> Result<ContextChargedForMemory, Vec<JournalNote>>
Expand description

Charge a message for program memory and module instantiation beforehand.