In prog, added some debugging opts