what’s the crate for checking if another piece of code halts or loops