Test case for #943