Output:
-- Executing: vcc /z3:/memory:4096 /time /f:main -p:"-Ic:\Users\zmanchun\Downloads\ParTypesVCC\include" /p:-IC:\ParTypes\workspace\msg\src-gen C:\ParTypes\workspace\msg\src\msg.c
Verification of main succeeded. [1.27]
                         Total 5.120
                  FELT Visitor 1.700
                  Total Plugin 1.934
                       Prelude 0.124
                        Boogie 0.054
                    Boogie AST 0.000
                     Boogie AI 0.045
                Boogie Resolve 0.026
              Boogie Typecheck 0.032
                  VC Optimizer 0.000
           Boogie Verify Impl. 0.865
               Boogie Save BPL 0.000
                       Pruning 0.000
              AST transformers 0.154
-- Execution time: 7.59 seconds
