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