pub const MINSIGSTKSZ: u32 = 5120;