Added debug statements in red_csc573.c