Define absolute function [[abs]] in C:

    int abs(int x) {
        if (x<0) return -x;
        else return x;
    }
