prettyPrint moved to todo files