#include <iostream>
#include "systemc"

int sc_main(int argc, char* argv[]) {
    printf("Success!\n");
    return 0;
}