Constant RED_SIZE

pub const RED_SIZE: Int = 0x3024;