64bit - 32bit printf check