Copilot.Compile.C99.Test.CheckSpec