let arg_name = "f1,...,fn"