puts statements for debugging