pub fn init_state_field_i_in_struct(
    address: u32,
    index: usize,
    structure: &[BFieldElement]
) -> ExecutionState