Constant LEAN_MAX_CTOR_SCALARS_SIZE 

pub const LEAN_MAX_CTOR_SCALARS_SIZE: u32 = 1024;