The text de67bfbc84c3, as Debian 6.0 (Squeeze) shipped it.
WdtpInterfacePointer_UserFree(3w) on Linux now
