setting args from inside ghci