pub const panic_runtime: Symbol;