printf example