v4.0.2
Change the first iteration test so static analysis better understands the code
Implicit builtin functions
fix the use of isdigit everywhere
Drop the auvirt utility