bcc:tcwg-validation@linaro.org,cc:pault@gcc.gnu.org,paul.richard.thomas@gmail.com