let
arg_name =
"v1, ..., vn"