printf statements for debug