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

int main(int argc, char* argv[]) {
    int ret;

    ret = printf("%s-%s-%s\n", HOST_CPU, HOST_VENDOR, HOST_OS);
    if (ret < 0) {
        perror(NULL);
        return 1;
    }
    else {
        return 0;
    }
}