I decided that, rather than complicate things further (MAX_PORTS is a bit of a mess because CS currently has it quite low but may change it for 1.4) I'd include a paragraph in the introduction to `vm.args` indicating that CS and EE may have different values.