写一个app程序，获取x86机器的tick数

#include "stdio.h"
#include "stdlib.h"

int add(int a, int b) {
    return a + b;
}

int main(int argc, char* argv[]) {
    printf("%d\n", add(argc, 1));
    return 0;
}