Made printf() testcases 32/64 bit agnostic.