Basic implementation
Implement halt
Add debugging gets the second code