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