Links for choc-expr