Something is horribly wrong with scheduling, as can be seen in the
debug output, but at least it somehow manages to exit cleanly...