Added log_dump() support for generic pointers
Progress in Verific bindings