int main() {
    return undefined_symbol_xyzzy_oqv;
}