Constant SIZE_PRECOMPILES_PRAGUE 

pub const SIZE_PRECOMPILES_PRAGUE: u64 = 17;