* non-regression tests