pl -g "[sem],main,halt"