int MPEi_CounterFree(MPI_Win counter_win, int keyval,
                     void *attr_val, void *extra_state)
{
  int counter_flag, *counterMem;

  MPI_Win_get_attr(counter_win, MPI_WIN_BASE,
		   &counterMem, &counter_flag);

  /* Free the memory used by the counter */
  if (counter_flag && counterMem)
    MPI_Free_mem(counterMem);

  return MPI_SUCCESS;
}