Thanks Steven Pease! The last test case in test_const_1() demonstrates
a better situation