// test for bug 5033
