pub const WASM_SYM_NO_STRIP: u32 = _; // 128u32