add a simple halt program
doc note