title	original for normal exec
.decsave
begin:	haltf
	end	begin