ancillaryDataToTrace x = error $ "bad trace ancillary data " ++ (show x)
ancillaryDataToTrace x = error $ "bad trace ancillary data " ++ (show x)
ancillaryDataToTrace x = error $ "bad trace ancillary data " ++ (show x)