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