commented out prints in rc.cup