Add GCC-style annotation for str_printf().