bench printf with and withoug formatting