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