sig
  val add : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val addi : EBPF.reg -> int -> 'a EBPF.insn
  val sub : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val subi : EBPF.reg -> int -> 'a EBPF.insn
  val mul : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val muli : EBPF.reg -> int -> 'a EBPF.insn
  val div : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val divi : EBPF.reg -> int -> 'a EBPF.insn
  val or_ : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val ori : EBPF.reg -> int -> 'a EBPF.insn
  val and_ : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val andi : EBPF.reg -> int -> 'a EBPF.insn
  val lsh : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val lshi : EBPF.reg -> int -> 'a EBPF.insn
  val rsh : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val rshi : EBPF.reg -> int -> 'a EBPF.insn
  val neg : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val negi : EBPF.reg -> int -> 'a EBPF.insn
  val mod_ : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val modi : EBPF.reg -> int -> 'a EBPF.insn
  val xor : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val xori : EBPF.reg -> int -> 'a EBPF.insn
  val mov : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val movi : EBPF.reg -> int -> 'a EBPF.insn
  val arsh : EBPF.reg -> EBPF.reg -> 'a EBPF.insn
  val arshi : EBPF.reg -> int -> 'a EBPF.insn
end