#include int main() { std::abort(); return 0; // wird nie erreicht }