GetElapsedValue (CounterType ctrId, TickType * valueRef, TickType * tickRef)
{
  StatusType D.4081;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.4081 = 0;
  return D.4081;

}


GetCounterValue (CounterType ctrId, TickType * tickRef)
{
  StatusType D.4079;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.4079 = 0;
  return D.4079;

}


