/* Obtains the current amount of bytes that are still available on the heap.  */
size_t TbxHeapGetFree(void)
/* Obtains the current amount of bytes that are still available on the heap.  */
size_t TbxHeapGetFree(void)
{
  size_t result;
  TbxCriticalSectionEnter();
  result = TBX_CONF_HEAP_SIZE - tbxHeapAllocated;
  TbxCriticalSectionExit();
  return result;
}