Constant INIT_AT_HEIGHT 

pub const INIT_AT_HEIGHT: U256;