path: root/semantics_data/fail4.c

int main() {
    (void)1 + 2; /* not ok */
}