Bug List

Global main

Fixme: Investigate why I have to negate tmpx here ... I would expect that this is not necessary.

---