Function: cddr

Return the cdr of the cdr of X.