ocp: more coding on the arbiter