int main(void) {
    returns 0;
}