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