Macro val 

macro_rules! val {
    ($a:expr) => { ... };
}

Builds a Term::Value from a u128.