fix vax
Sync style between Lua script and C source code.Fix false positive for some tests.
lua libm API from Phil Rulon