expr_statement.cvc 22 B

123
  1. void foo() {
  2. 1;
  3. }