envoy: check result from asprintf