Constant KERNEL_WCET_SCALE 

pub const KERNEL_WCET_SCALE: &str = "1";