/* Increments OperationComplete variable and return its value before increment operation.  */
uint32_t IncrementVar_OperationComplete(void)
/* Increments OperationComplete variable and return its value before increment operation.  */
uint32_t IncrementVar_OperationComplete(void)
{
  OperationComplete++;
  return (uint32_t)(OperationComplete -1);
}