$ pda set a b
$ pda rm a