More printing statements main for debugging