PR: 59033 Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
AT&T Research PR: 33613 Submitted by: Alan Eldridge <alane@geeksrus.net>