CSP while(1)RP++;