ScalaCheck tests for FixedStructBuffer