select * from bug4231 order by 1;
