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