// empty file, just to test compilation

int main(int argc, char **argv){
    return 0;
}