Doing some debugging on the ctl tool