VarDecFromI1(3w) on Linux

The text a66266b82dcd, as Debian 4.0 (Etch) shipped it.

VarDecFromI1(3w) on Linux now