as an argument and the option name is now specified as a string (the numeric
values defined in sockdefs.js are not cross-platform).