Asdasd
why is qsloop.hs proved terminating? run it: it does not terminate...