Constant DEFAULT_HEURISTIC_SEED 

pub const DEFAULT_HEURISTIC_SEED: u64 = 0 /* 0u64 */;