renormps $* | ps2gif
