ListVector.NamedBuilder results = ListVector.newNamedBuilder();
if (arguments.length() == 0) {
// return all options as a list
for (String name : options.names()) {
results.add(name, options.get(name));
}
} else if (arguments.length() == 1
&& arguments.getElementAsSEXP(0) instanceof ListVector