hoeffding enums converted to old standard

console.pause