cousin_it comments on A model of UDT with a halting oracle