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