

Counted ... calls to main()

Jccs:
  total:         ...
  taken:         ... ( ...%)

Executed:
  SBs entered:   ...
  SBs completed: ...
  guest instrs:  ...
  IRStmts:       ...

Ratios:
  guest instrs : SB entered  = ... : ...
       IRStmts : SB entered  = ... : ...
       IRStmts : guest instr = ... : ...

Exit code:       ...