lanx@xubuntu:~$ psh psh% option echo=1 psh% 10/5 $Psh::val[0] = "2" psh%