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