Tests to reproduce bugs in shark-branch