Another test case for #123