+ case 2 of RERR generation (poorly tested)