Add runtime test for bug #13