use std::machines::memory::{{memory_machine}};
{{ binary_import }}
{{ shift_import }}
{{ split_import }}
{{ poseidon_import }}
{{ arith_import }}

// could actually always import all, don't think it hurts compilation

machine Main {
    reg val1;
    reg val2;
    
    {{ extra_registers }}

    col witness va1_col;
    col witness va2_col;
    col witness va3_col;
    col witness va3_col;

   // ... all base instructions
   
   {{ binary_instructions }}
   {{ shift_instructions }}
   {{ poseidon_instructions }}
   {{ arith_instructions }}
   
   function main {
     {{ code }}
   }
}