int printf_lite_tests();