push -v panther $* /usr/bwk/eff/Code
