Constant AMSTERDAM_MAX_CODE_SIZE 

pub const AMSTERDAM_MAX_CODE_SIZE: u64 = 0x8000;