Added printf1 benchmark