* bug-508538.cs: New regression test for bug #508538.