int foo() {
    return 1/0.0;
}