pub fn list_push(
list_pointer: BFieldElement,
value: Vec<BFieldElement>,
memory: &mut HashMap<BFieldElement, BFieldElement>,
element_length: usize,
)
pub fn list_push(
list_pointer: BFieldElement,
value: Vec<BFieldElement>,
memory: &mut HashMap<BFieldElement, BFieldElement>,
element_length: usize,
)