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