#. "ssh to ric", TCP, 127.0.0.1, 22222, 10.0.2.100, 22;
#. "ssh to aux", TCP, 127.0.0.1, 22223, 10.0.2.101, 22;
#. "entry to ric", TCP, 127.0.0.1, 22224, 10.0.2.100, 32080;
#. "entry to aux", TCP, 127.0.0.1, 22225, 10.0.2.101, 32080.
#. "ssh to ric", TCP, 127.0.0.1, 22222, 10.0.2.100, 22;
#. "ssh to aux", TCP, 127.0.0.1, 22223, 10.0.2.101, 22;
#. "entry to ric", TCP, 127.0.0.1, 22224, 10.0.2.100, 32080;
#. "entry to aux", TCP, 127.0.0.1, 22225, 10.0.2.101, 32080.