pub fn nat_is_odd(args: Vec<RtVal>) -> ExpTerm