HOOPS: 2023 commit