Add the simple support for halt