Constant PUSH_CONSTANT_SIZE 

pub const PUSH_CONSTANT_SIZE: u32 = 128;