Constant RED_SIZE 

pub const RED_SIZE: Int = 0x3024;