pub suberror CodeObjectVerifyError {
  EmptyCode
  MisalignedCodeSize(size~ : Int)
  InvalidRelocation(index~ : Int, message~ : String)
  DuplicateRelocationOffset(offset~ : Int)
  InvalidSourceSite(index~ : Int, offset~ : Int)
  InvalidTrapSite(index~ : Int, offset~ : Int)
  InvalidSafepointSite(index~ : Int, offset~ : Int)
  InvalidRootLocation(safepoint~ : Int, root~ : Int)
  InvalidStackMap(safepoint~ : Int)
  InvalidUnwindDirective(index~ : Int, message~ : String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Architecture {
  AArch64
  X64
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum RegisterBank {
  Int
  FpVector
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Relocation {
  offset : Int
  kind : RelocationKind
  target : RelocationTarget
  addend : Int64
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum RelocationKind {
  AArch64Call26
  AArch64Jump26
  AArch64Page21
  AArch64PageOffset12
  X64PcRelative32
  Absolute64
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum RelocationTarget {
  Code(
@Milky2018/vcode/native_types.CodeSymbol
CodeSymbol)
  External(
@Milky2018/vcode/native_types.ExternalSymbol
ExternalSymbol)
  Data(
@Milky2018/vcode/native_types.DataSymbol
DataSymbol)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum RootLocation {
  Register(RegisterBank, Int)
  Stack(offset~ : Int, ty~ : 
@Milky2018/vcode/native_types.ValueType
ValueType)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct SafepointSite {
  offset : Int
  kind : 
@Milky2018/vcode/native_types.SafepointKind
SafepointKind
  roots : Array[RootLocation]
  source : 
@Milky2018/vcode/native_types.SourceLocation
SourceLocation?
  stack_map : 
@Milky2018/vcode/native_types.StackMapMetadata
StackMapMetadata?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct SourceSite {
  offset : Int
  source : 
@Milky2018/vcode/native_types.SourceLocation
SourceLocation
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct TrapSite {
  offset : Int
  reason : 
@Milky2018/vcode/native_types.TrapReason
TrapReason
  source : 
@Milky2018/vcode/native_types.SourceLocation
SourceLocation?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct UnlinkedCodeObject {
  // private fields
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub struct UnwindDirective {
  offset : Int
  operation : UnwindOperation
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum UnwindOperation {
  StackAlloc(size~ : Int)
  SetFramePointer(RegisterBank, Int, cfa_offset~ : Int)
  SaveRegister(RegisterBank, Int, cfa_offset~ : Int)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn build(architecture : Architecture, code : Array[Byte], relocations? : Array[Relocation], sources? : Array[SourceSite], traps? : Array[TrapSite], safepoints? : Array[SafepointSite], unwind? : Array[UnwindDirective]) -> UnlinkedCodeObject raise CodeObjectVerifyError