pub fn stack_alloc32<E>(into: &mut E, amt: impl Into<u32>)where E: Extend<u8>,
encode
sp = sp.checked_sub(amt)