scanner_free (void *ptr, /**< pointer to free */
              size_t size) /**< size of the memory block */
{
  jmem_heap_free_block (ptr, size);
} /* scanner_free */
scanner_free (void *ptr,  
              size_t size)  
{
  jmem_heap_free_block (ptr, size);
}  