Dump semantic defspec works.