working printf