pub fn mem<F: AbstractField>( kind: MemAccessKind, mult: u32, addr: u32, val: u32, ) -> Instruction<F>