Chu–Vandermonde_identity loading ...