#include "tesses_cpu_arch.h"
#include <stdio.h>

int main(int argc, char** argv)
{
    printf("%s\n", TESSES_CPU_TARGET);
    return 0;
}