debugging output

Probably will want to make these debug statements go to a log file
rather than std out