WG25 | HOSC #4