VarDecCmpR8(3w) on Linux

The text 55401e36e844, as Debian 5.0 (Lenny) shipped it.

VarDecCmpR8(3w) on Linux now