require 'ffi'

class I64Parts32 < FFI::Struct
end

class F128Parts64 < FFI::Struct
end

class I64Nat < FFI::Struct
end

class DebugValueUnion < FFI::Union
end

class DEBUG_VALUE < FFI::Struct
    layout :u, DebugValueUnion
           :tail_of_raw_bytes, :ulong,
           :type, :ulong
end