support for halt statement