Constant SCRATCH_TOP_EXN_STACK_OFFSET 

pub const SCRATCH_TOP_EXN_STACK_OFFSET: u64 = 0x20;