New runtime with better halt check