bcc:tcwg-validation@linaro.org,cc:vehre@gcc.gnu.org,jvdelisle2@gmail.com