../../../../comet2 pushpop.o