check_string(do_printf("%d", 999), "999");
check_string(do_printf("%d", -999), "-999");
check_string(do_printf("%i", 999), "999");
check_string(do_printf("%d", 999), "999");
check_string(do_printf("%d", -999), "-999");
check_string(do_printf("%i", 999), "999");