-* Mantis:
- - 1694 --- try to reproduce (non-deterministic, w. testcase, need core/valgrind)
- - 1724 --- try to reproduce
- - 1725 --- try to reproduce (non-deterministic, w. testcase, need core)
- - 1728 --- investigate
- - 1736 --- investigate
- - 1737 --- investigate