add halt
use full nemesis
no CI stuff