oh, and you don't need a halt after a return