int main(int argc, char* argv[]) {
        // stub
        return 0;
}