Add test for #3544