#include <stddef.h>
#include <unistd.h>

int main(int argc, char *argv[]) {
    T7037_CONST char * args[2] = {"T7037", NULL};
    execv("./T7037", args);
}