console.h is no longer needed for debugging