// Regression tests: simple