Implement __FUNCTION__ predefine. (#811)
Fixed information about memory being freed.

Unused memory in allocated mappings is not freed after the function
execution ended, but during data-cleanup or garbage collection. This
can take quite some time. Fixed this information and explained about
the data cleanup in the remarks.