Is there any way to cleanly do VAR parameters in T? For example, I might expect the function (define foo (lambda (a) (set a 1))) when invoked with (lset c 0) (foo (locative c)) to leave c with the value 1, but it doesn't. Obviously I don't understand what locatives are doing for me... - Mike