$ txr -p '(n-choose-k 20 15)'
15504