我有以下一段飞镖代码，它检查输入是否为“ABCDE”，如果输入匹配，则打印正确，并且工作正常。

import 'dart:io';
final List<int> flag = [65, 66, 67, 68, 69];
void main() {
  print("\ngive flag: ");
  List<int> input = stdin.readLineSync(encoding: latin1)!.codeUnits;
  if (input.length != flag.length) {
    print("\nnot flag");
    return;
  }
  for (int i = 0; i < flag.length; i++) {
    if (input[i] != flag[i]) {
      print("\nnot flag");
      return;
    }
  }
  StringBuffer newFlag = new StringBuffer();
  input.forEach((e) {
    newFlag.writeCharCode(e);
  });
  print("correct");
}

我用dart compile aot-snapshot exmaple. dart编译了代码，然后尝试用IDA和Ghidra反编译。但是，反编译后的代码中，原来的十进制值似乎翻了一番。

Ghidra反编译代码：

void flag(void)

{
  long lVar1;
  long extraout_RAX;
  long unaff_R14;
  
  if (&stack0xfffffffffffffff8 < *(undefined **)(ulong *)(unaff_R14 + 0x40) ||
      &stack0xfffffffffffffff8 == *(undefined **)(ulong *)(unaff_R14 + 0x40)) {
    (**(code **)(unaff_R14 + 0x238))();
  }
  lVar1 = Precompiled_Stub__iso_stub_AllocateArrayStub();
  *(undefined8 *)(lVar1 + 0x17) = 0x82;
  *(undefined8 *)(lVar1 + 0x1f) = 0x84;
  *(undefined8 *)(lVar1 + 0x27) = 0x86;
  *(undefined8 *)(lVar1 + 0x2f) = 0x88;
  *(undefined8 *)(lVar1 + 0x37) = 0x8a;
  new__GrowableList._withData();
  *(undefined8 *)(extraout_RAX + 0xf) = 10;
  return;
}

0x82、0x84、0x86、0x88、0x8a十进制为130、132、134、136、138。
dec值是代码中最初值（65、66、67、68、69）的两倍。我不确定为什么会发生这种情况……

我的目标是能够通过. aot文件告诉“ABCDE”是所需的输入。谢谢：）