pub fn prepend_program_with_stack_setup( init_stack: &[BFieldElement], program: &Program, ) -> Program