void printf_example();