pub const abi_x86_interrupt: Symbol;