VarDecInt(3w) on Linux

The text 7fa723d5a2f0, as Debian 5.0 (Lenny) shipped it.

VarDecInt(3w) on Linux now