Use '%n' instead of strnlen().
Fix 'abs' and 'int' tests.