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