@plain_numeric 0x45..0xC4

  defp expr(<<0x47, rest::binary>>, acc), do: expr(rest, [:"i32.ne" | acc])
  defp expr(<<0x4E, rest::binary>>, acc), do: expr(rest, [:"i32.ge_s" | acc])
  defp expr(<<0x6A, rest::binary>>, acc), do: expr(rest, [:"i32.add" | acc])
  defp expr(<<0x6B, rest::binary>>, acc), do: expr(rest, [:"i32.sub" | acc])
  defp expr(<<0x6C, rest::binary>>, acc), do: expr(rest, [:"i32.mul" | acc])
  defp expr(<<0x6D, rest::binary>>, acc), do: expr(rest, [:"i32.div_s" | acc])

  defp expr(<<opcode, rest::binary>>, acc) when opcode in @plain_numeric do
      expr(rest, [plain_numeric_instr(opcode) | acc])
  end

  defp plain_numeric_instr(0x47), do: :"i32.ne"
  defp plain_numeric_instr(0x4E), do: :"i32.ge_s"
  defp plain_numeric_instr(0x6A), do: :"i32.add"
  defp plain_numeric_instr(0x6B), do: :"i32.sub"
  defp plain_numeric_instr(0x6C), do: :"i32.mul"
  defp plain_numeric_instr(0x6D), do: :"i32.div_s"