https://deaconsbench.org/2022/02/15/halt/