#[no_mangle]
pub(crate) static __sel4_runtime_common__stack_bottom: StackBottom