one_ra_with_counters.program