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

  <bb 2> :
  D.5444 = 0;

  <bb 3> :
<L0>:
  return D.5444;

}


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

  <bb 2> :
  D.5442 = 0;

  <bb 3> :
<L0>:
  return D.5442;

}


