expr : expr '+' ident | ident

void ShiftIdent() {
    current_token++;
}

void ShiftPlus() {
    current_token++;
}

void ShiftExpr() {
    switch(current_token->type) {
    case ident:
        ShiftIdent();
        switch(current_token->type) {
        case '+':
            ShiftPlus();
            ShiftIdent();
            return;
        default:
            error();
        };
        return;
    default:
        error();
    };
}