(vl-exprlist-expand-function-calls x ss nf vardecls assigns warnings ctx loc reclimit) → (mv successp warnings nf new-x vardecls assigns)