Using printf for debugging