#include <iostream>
#include <cassert>
int main() {
assert(7 + 8 == 15);
std::cout << "7 + 8 == 15 OK\n";
assert(7 + 8 == 16);
std::cout << "7 + 8 == 16 OK\n";
}
// main.cpp:8: int main(): Assertion `7 + 8 == 16' failed.
// Command terminated by signal 6
/*
run:
*/