module Test.Data.Void where