Evaluated proc psa args {set ::psa $args}