VarUI4FromBool(3w) on Linux

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

VarUI4FromBool(3w) on Linux now