Testcase for the pivotdonenbrs-initialization bug.