List<String> getArgNames() { List<String> argsx = []; for (MapEntry<String, Argument> entry in args.entries) { argsx.add(entry.key); } return argsx; }