Rename worker as rr_worker to make this API more portable