This is a test for ali’s bug 1.