Evaluated proc mtxt args { return [list [list [list [list [args]]]]] }