Thanks; I&#x27;ll take a look (feel free to file bugs on github <a href="https:&#x2F;&#x2F;github.com&#x2F;mattgodbolt&#x2F;gcc-explorer&#x2F;issues" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;mattgodbolt&#x2F;gcc-explorer&#x2F;issues</a> too)