pub const PATCH_SYMBOL_UNDECORATED_TOO: u32 = 4u32;