aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorMarco Varlese <marco.varlese@suse.com>2018-02-27 09:38:31 +0100
committerDamjan Marion <dmarion.lists@gmail.com>2018-02-28 05:54:43 +0000
commit8c5f67f2b883ad9dcb489ab0eb16e1acbe478926 (patch)
tree6fe63e6814e812f79b07950e29ef8a425b579b88 /src
parentac0932d26c17b8d82af1a7d033e1abdccb6f7209 (diff)
SCTP: handle COOKIE while in SHUTDOWN phase
This patch address the requirement to handle a COOKIE chunk whilst in SHUTDOWN phase. The COOKIE shouldn't just be dropped but an OPERATION ERROR chunk shall be sent to the peer to inform about the current situation. Change-Id: I1a47652402d49cfee3b0c810304d7902f3a62f40 Signed-off-by: Marco Varlese <marco.varlese@suse.com>
Diffstat (limited to 'src')
-rw-r--r--src/vnet/sctp/sctp.h4
-rw-r--r--src/vnet/sctp/sctp_input.c29
-rw-r--r--src/vnet/sctp/sctp_output.c27
3 files changed, 40 insertions, 20 deletions
diff --git a/src/vnet/sctp/sctp.h b/src/vnet/sctp/sctp.h
index de5eb8f6685..815ca172adb 100644
--- a/src/vnet/sctp/sctp.h
+++ b/src/vnet/sctp/sctp.h
@@ -292,7 +292,9 @@ void sctp_prepare_abort_for_collision (sctp_connection_t * sctp_conn, u8 idx,
vlib_buffer_t * b,
ip4_address_t * ip4_addr,
ip6_address_t * ip6_addr);
-
+void
+sctp_prepare_operation_error (sctp_connection_t * sctp_conn, u8 idx,
+ vlib_buffer_t * b, u8 err_cause);
void sctp_prepare_cookie_echo_chunk (sctp_connection_t * sctp_conn, u8 idx,
vlib_buffer_t * b,
sctp_state_cookie_param_t * sc);
diff --git a/src/vnet/sctp/sctp_input.c b/src/vnet/sctp/sctp_input.c
index 1863c89ef45..46a2100cc07 100644
--- a/src/vnet/sctp/sctp_input.c
+++ b/src/vnet/sctp/sctp_input.c
@@ -295,7 +295,8 @@ sctp_handle_operation_err (sctp_header_t * sctp_hdr,
return SCTP_ERROR_INVALID_TAG;
}
- if (op_err->err_causes[0].cause_info == STALE_COOKIE_ERROR)
+ if (clib_net_to_host_u16 (op_err->err_causes[0].param_hdr.type) ==
+ STALE_COOKIE_ERROR)
{
if (sctp_conn->state != SCTP_STATE_COOKIE_ECHOED)
*next0 = sctp_next_drop (sctp_conn->sub_conn[idx].c_is_ip4);
@@ -1350,6 +1351,12 @@ sctp46_shutdown_phase_inline (vlib_main_t * vm,
&next0);
break;
+ case COOKIE_ECHO: /* Cookie Received While Shutting Down */
+ sctp_prepare_operation_error (sctp_conn, idx, b0,
+ COOKIE_RECEIVED_WHILE_SHUTTING_DOWN);
+ error0 = SCTP_ERROR_NONE;
+ next0 = sctp_next_output (is_ip4);
+ break;
/* All UNEXPECTED scenarios (wrong chunk received per state-machine)
* are handled by the input-dispatcher function using the table-lookup
* hence we should never get to the "default" case below.
@@ -2132,9 +2139,13 @@ sctp46_input_dispatcher (vlib_main_t * vm, vlib_node_runtime_t * node,
if (chunk_type >= UNKNOWN)
{
clib_warning
- ("Received an unrecognized chunk... something is really bad.");
+ ("Received an unrecognized chunk; sending back OPERATION_ERROR chunk");
+
+ sctp_prepare_operation_error (sctp_conn, MAIN_SCTP_SUB_CONN_IDX,
+ b0, UNRECOGNIZED_CHUNK_TYPE);
+
error0 = SCTP_ERROR_UNKOWN_CHUNK;
- next0 = SCTP_INPUT_NEXT_DROP;
+ next0 = sctp_next_output (is_ip4);
goto done;
}
@@ -2387,7 +2398,8 @@ do { \
SCTP_ERROR_NONE);
_(SHUTDOWN_PENDING, SHUTDOWN_ACK, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_SHUTDOWN_ACK_CHUNK_VIOLATION); /* UNEXPECTED SHUTDOWN_ACK chunk */
_(SHUTDOWN_PENDING, OPERATION_ERROR, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_OPERATION_ERROR_VIOLATION); /* UNEXPECTED OPERATION_ERROR chunk */
- _(SHUTDOWN_PENDING, COOKIE_ECHO, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_COOKIE_ECHO_VIOLATION); /* UNEXPECTED COOKIE_ECHO chunk */
+ _(SHUTDOWN_PENDING, COOKIE_ECHO, SCTP_INPUT_NEXT_SHUTDOWN_PHASE,
+ SCTP_ERROR_NONE);
_(SHUTDOWN_PENDING, COOKIE_ACK, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_ACK_DUP); /* UNEXPECTED COOKIE_ACK chunk */
_(SHUTDOWN_PENDING, ECNE, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_ECNE_VIOLATION); /* UNEXPECTED ECNE chunk */
_(SHUTDOWN_PENDING, CWR, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_CWR_VIOLATION); /* UNEXPECTED CWR chunk */
@@ -2405,7 +2417,8 @@ do { \
_(SHUTDOWN_SENT, SHUTDOWN, SCTP_INPUT_NEXT_SHUTDOWN_PHASE, SCTP_ERROR_NONE);
_(SHUTDOWN_SENT, SHUTDOWN_ACK, SCTP_INPUT_NEXT_SHUTDOWN_PHASE,
SCTP_ERROR_NONE);
- _(SHUTDOWN_SENT, COOKIE_ECHO, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_COOKIE_ECHO_VIOLATION); /* UNEXPECTED COOKIE_ECHO chunk */
+ _(SHUTDOWN_SENT, COOKIE_ECHO, SCTP_INPUT_NEXT_SHUTDOWN_PHASE,
+ SCTP_ERROR_NONE);
_(SHUTDOWN_SENT, COOKIE_ACK, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_ACK_DUP); /* UNEXPECTED COOKIE_ACK chunk */
_(SHUTDOWN_SENT, ECNE, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_ECNE_VIOLATION); /* UNEXPECTED ECNE chunk */
_(SHUTDOWN_SENT, CWR, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_CWR_VIOLATION); /* UNEXPECTED CWR chunk */
@@ -2423,7 +2436,8 @@ do { \
_(SHUTDOWN_RECEIVED, SHUTDOWN, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_SHUTDOWN_CHUNK_VIOLATION); /* UNEXPECTED SHUTDOWN chunk */
_(SHUTDOWN_RECEIVED, SHUTDOWN_ACK, SCTP_INPUT_NEXT_SHUTDOWN_PHASE,
SCTP_ERROR_NONE);
- _(SHUTDOWN_RECEIVED, COOKIE_ECHO, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_COOKIE_ECHO_VIOLATION); /* UNEXPECTED COOKIE_ECHO chunk */
+ _(SHUTDOWN_RECEIVED, COOKIE_ECHO, SCTP_INPUT_NEXT_SHUTDOWN_PHASE,
+ SCTP_ERROR_NONE);
_(SHUTDOWN_RECEIVED, COOKIE_ACK, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_ACK_DUP); /* UNEXPECTED COOKIE_ACK chunk */
_(SHUTDOWN_RECEIVED, ECNE, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_ECNE_VIOLATION); /* UNEXPECTED ECNE chunk */
_(SHUTDOWN_RECEIVED, CWR, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_CWR_VIOLATION); /* UNEXPECTED CWR chunk */
@@ -2440,7 +2454,8 @@ do { \
_(SHUTDOWN_ACK_SENT, ABORT, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_ABORT_CHUNK_VIOLATION); /* UNEXPECTED ABORT chunk */
_(SHUTDOWN_ACK_SENT, SHUTDOWN, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_SHUTDOWN_CHUNK_VIOLATION); /* UNEXPECTED SHUTDOWN chunk */
_(SHUTDOWN_ACK_SENT, SHUTDOWN_ACK, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_SHUTDOWN_ACK_CHUNK_VIOLATION); /* UNEXPECTED SHUTDOWN_ACK chunk */
- _(SHUTDOWN_ACK_SENT, COOKIE_ECHO, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_COOKIE_ECHO_VIOLATION); /* UNEXPECTED COOKIE_ECHO chunk */
+ _(SHUTDOWN_ACK_SENT, COOKIE_ECHO, SCTP_INPUT_NEXT_SHUTDOWN_PHASE,
+ SCTP_ERROR_NONE);
_(SHUTDOWN_ACK_SENT, COOKIE_ACK, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_ACK_DUP); /* UNEXPECTED COOKIE_ACK chunk */
_(SHUTDOWN_ACK_SENT, ECNE, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_ECNE_VIOLATION); /* UNEXPECTED ECNE chunk */
_(SHUTDOWN_ACK_SENT, CWR, SCTP_INPUT_NEXT_DROP, SCTP_ERROR_CWR_VIOLATION); /* UNEXPECTED CWR chunk */
diff --git a/src/vnet/sctp/sctp_output.c b/src/vnet/sctp/sctp_output.c
index b7351275486..0c2fee1bb69 100644
--- a/src/vnet/sctp/sctp_output.c
+++ b/src/vnet/sctp/sctp_output.c
@@ -589,24 +589,23 @@ sctp_prepare_cookie_echo_chunk (sctp_connection_t * sctp_conn, u8 idx,
}
/**
- * Convert buffer to ABORT
+ * Convert buffer to ERROR
*/
-/*
void
sctp_prepare_operation_error (sctp_connection_t * sctp_conn, u8 idx,
- vlib_buffer_t * b, ip4_address_t * ip4_addr,
- ip6_address_t * ip6_addr)
+ vlib_buffer_t * b, u8 err_cause)
{
vlib_main_t *vm = vlib_get_main ();
sctp_reuse_buffer (vm, b);
- // The minimum size of the message is given by the sctp_operation_error_t
- u16 alloc_bytes = sizeof (sctp_operation_error_t);
+ /* The minimum size of the message is given by the sctp_operation_error_t */
+ u16 alloc_bytes =
+ sizeof (sctp_operation_error_t) + sizeof (sctp_err_cause_param_t);
- // As per RFC 4960 the chunk_length value does NOT contemplate
- // the size of the first header (see sctp_header_t) and any padding
- //
+ /* As per RFC 4960 the chunk_length value does NOT contemplate
+ * the size of the first header (see sctp_header_t) and any padding
+ */
u16 chunk_len = alloc_bytes - sizeof (sctp_header_t);
alloc_bytes += vnet_sctp_calculate_padding (alloc_bytes);
@@ -614,13 +613,18 @@ sctp_prepare_operation_error (sctp_connection_t * sctp_conn, u8 idx,
sctp_operation_error_t *err_chunk =
vlib_buffer_push_uninit (b, alloc_bytes);
- // src_port & dst_port are already in network byte-order
+ /* src_port & dst_port are already in network byte-order */
err_chunk->sctp_hdr.checksum = 0;
err_chunk->sctp_hdr.src_port = sctp_conn->sub_conn[idx].connection.lcl_port;
err_chunk->sctp_hdr.dst_port = sctp_conn->sub_conn[idx].connection.rmt_port;
- // As per RFC4960 Section 5.2.2: copy the INITIATE_TAG into the VERIFICATION_TAG of the ABORT chunk
+ /* As per RFC4960 Section 5.2.2: copy the INITIATE_TAG into the VERIFICATION_TAG of the ABORT chunk */
err_chunk->sctp_hdr.verification_tag = sctp_conn->local_tag;
+ err_chunk->err_causes[0].param_hdr.length =
+ clib_host_to_net_u16 (sizeof (err_chunk->err_causes[0].param_hdr.type) +
+ sizeof (err_chunk->err_causes[0].param_hdr.length));
+ err_chunk->err_causes[0].param_hdr.type = clib_host_to_net_u16 (err_cause);
+
vnet_sctp_set_chunk_type (&err_chunk->chunk_hdr, OPERATION_ERROR);
vnet_sctp_set_chunk_length (&err_chunk->chunk_hdr, chunk_len);
@@ -628,7 +632,6 @@ sctp_prepare_operation_error (sctp_connection_t * sctp_conn, u8 idx,
sctp_conn->sub_conn[idx].connection.c_index;
vnet_buffer (b)->sctp.subconn_idx = idx;
}
-*/
/**
* Convert buffer to ABORT
scape */ .highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */ .highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */ .highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */ .highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */ .highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */ .highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */ .highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */ .highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */ .highlight .vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */ } 
/*
 * Copyright (c) 2015 Cisco and/or its affiliates.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at:
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/mman.h>
#include <sys/stat.h>
#include <netinet/in.h>
#include <signal.h>
#include <pthread.h>
#include <unistd.h>
#include <time.h>
#include <fcntl.h>
#include <string.h>
#include <vppinfra/clib.h>
#include <vppinfra/vec.h>
#include <vppinfra/hash.h>
#include <vppinfra/bitmap.h>
#include <vppinfra/fifo.h>
#include <vppinfra/time.h>
#include <vppinfra/mheap.h>
#include <vppinfra/heap.h>
#include <vppinfra/pool.h>
#include <vppinfra/format.h>
#include <vppinfra/serialize.h>
#include "svmdb.h"

static void get_string (char *chroot_path, u8 *vbl)
{
    svmdb_client_t *c;
    char *rv;

    c = svmdb_map_chroot(chroot_path);

    rv = svmdb_local_get_string_variable (c, (char *)vbl);
    
    fformat(stdout, "%s\n", rv ? rv : "UNSET");
    vec_free(rv);
    svmdb_unmap (c);
}

static void set_string (char *chroot_path, u8 *vbl, u8 *value)
{
    svmdb_client_t *c;

    c = svmdb_map_chroot(chroot_path);
    svmdb_local_set_string_variable (c, (char *)vbl, (char *)value);
    svmdb_unmap (c);
}

static void unset_string (char *chroot_path, u8 *vbl)
{
    svmdb_client_t *c;

    c = svmdb_map_chroot(chroot_path);
    svmdb_local_unset_string_variable (c, (char *)vbl);
    svmdb_unmap (c);
}

static void dump_strings(char *chroot_path)
{
    svmdb_client_t *c;

    c = svmdb_map_chroot(chroot_path);
    svmdb_local_dump_strings (c);
    svmdb_unmap (c);
}

static void test_vlib_vec_rate (char *chroot_path, f64 vr)
{
    svmdb_client_t *c;
    f64 *tv = 0;

    vec_add1 (tv, vr);

    c = svmdb_map_chroot(chroot_path);

    svmdb_local_set_vec_variable (c, "vlib_vector_rate", (char *)tv, sizeof (*tv));
    svmdb_unmap (c);

    vec_free(tv);
}



static void test_vec (char *chroot_path, u8 *vbl)
{
    svmdb_client_t *c;
    u64 *tv = 0;
    int i;

    /* my amp goes to 11 */
    for (i = 0; i < 11; i++) {
	vec_add1(tv, i);
    }

    c = svmdb_map_chroot(chroot_path);
    svmdb_local_set_vec_variable (c, (char *)vbl, (char *)tv, sizeof (tv[0]));
    svmdb_unmap (c);

    vec_free(tv);
}

static void fake_install (char *chroot_path, u8 *add_value)
{
    svmdb_client_t *c;
    u8 *v = 0;
    u8 **values = 0;
    u8 *oldvalue;
    u8 *value;
    int nitems = 0, i;
    serialize_main_t m;

    c = svmdb_map_chroot(chroot_path);

    oldvalue = svmdb_local_get_vec_variable (c, "installed_sw", 1);
    if (oldvalue) {
        unserialize_open_data (&m, oldvalue, vec_len (oldvalue));
        nitems = unserialize_likely_small_unsigned_integer (&m);
        for (i = 0; i < nitems; i++) {
            unserialize_cstring (&m, (char **)&value);
            vec_add1 (values, value);
        }
        vec_free (v);
    }
    nitems++;
    value = format (0, "%s%c", add_value, 0);

    vec_add1 (values, value);

    fformat (stdout, "Resulting installed_sw vector:\n");

    serialize_open_vector (&m, v);
    serialize_likely_small_unsigned_integer (&m, vec_len (values));
    for (i = 0; i < vec_len (values); i++) {
        fformat (stdout, "%s\n", values[i]);
        serialize_cstring (&m, (char *)values[i]);
    }

    v = serialize_close_vector (&m);

    svmdb_local_set_vec_variable (c, "installed_sw", v, sizeof (v[0]));
    svmdb_unmap (c);

    for (i = 0; i < vec_len (values); i++)
        vec_free (values[i]);
    vec_free (values);
}

static void sigaction_handler (int signum, siginfo_t *i, void *notused)
{
    u32 action, opaque;

    action = (u32)(uword) i->si_ptr;
    action >>= 28;
    opaque = (u32)(uword) i->si_ptr;
    opaque &= ~(0xF0000000);

    clib_warning ("signal %d, action %d, opaque %x",
                  signum, action, opaque);
}

static void test_reg (char *chroot_path, u8 *vbl)
{
    svmdb_client_t *c;
    svmdb_notification_args_t args;
    svmdb_notification_args_t *a = &args;
    struct sigaction sa;

    memset (&sa, 0, sizeof (sa));
    sa.sa_sigaction = sigaction_handler;
    sa.sa_flags = SA_SIGINFO;
    if (sigaction (SIGUSR2, &sa, 0) < 0) {
        clib_unix_warning ("sigaction");
        return;
    }

    memset (a, 0, sizeof (*a));

    c = svmdb_map_chroot(chroot_path);

    a->add_del = 1 /* add */;
    a->nspace = SVMDB_NAMESPACE_STRING;
    a->var = (char *) vbl;
    a->elsize = 1;
    a->signum = SIGUSR2;
    a->action = SVMDB_ACTION_GET;
    a->opaque = 0x0eadbeef;

    svmdb_local_add_del_notification (c, a);

    (void) svmdb_local_get_string_variable (c, (char *)vbl);

    a->add_del = 0; /* del */
    svmdb_local_add_del_notification (c, a);
    
    

    svmdb_unmap (c);
}

static void unset_vec (char *chroot_path, u8 *vbl)
{
    svmdb_client_t *c;

    c = svmdb_map_chroot(chroot_path);
    svmdb_local_unset_vec_variable (c, (char *)vbl);
    svmdb_unmap (c);
}

static void dump_vecs(char *chroot_path)
{
    svmdb_client_t *c;

    c = svmdb_map_chroot(chroot_path);
    svmdb_local_dump_vecs (c);
    svmdb_unmap (c);
}

static void crash_test(char *chroot_path)
{
    svmdb_client_t *c;

    c = svmdb_map_chroot(chroot_path);

    clib_warning ("Grab region mutex and crash deliberately!");
    c->db_rp->mutex_owner_pid = getpid();
    c->db_rp->mutex_owner_tag = -13;
    pthread_mutex_lock(&c->db_rp->mutex);

    abort();
}

static void map_with_size (char *chroot_path, uword size)
{
    svmdb_client_t *c;
    c = svmdb_map_chroot_size (chroot_path, size);
    svmdb_unmap (c);
}

int main (int argc, char **argv)
{
    unformat_input_t input;
    int parsed =0;
    u8 *vbl=0, *value=0;
    char *chroot_path = 0;
    u8 *chroot_path_u8;
    uword size;
    f64 vr;

    unformat_init_command_line (&input, argv);

    while (unformat_check_input (&input) != UNFORMAT_END_OF_INPUT) {
        if (unformat (&input, "get-string %s", &vbl)) {
            get_string (chroot_path, vbl);
            vec_free(vbl);
            parsed++;
        } else if (unformat (&input, "set-string %s %s", &vbl, &value)) {
            set_string (chroot_path, vbl, value);
            vec_free(vbl);
            vec_free(value);
            parsed++;
        } else if (unformat(&input, "unset-string %s", &vbl)) {
            unset_string (chroot_path, vbl);
            vec_free(vbl);
            parsed++;
        } else if (unformat(&input, "dump-strings")) {
            dump_strings(chroot_path);
            parsed++;
        } else if (unformat(&input, "unset-vec %s", &vbl)) {
            unset_vec (chroot_path, vbl);
            vec_free(vbl);
            parsed++;
        } else if (unformat(&input, "dump-vecs")) {
            dump_vecs(chroot_path);
            parsed++;
        } else if (unformat (&input, "test-vec %s", &vbl)) {
	    test_vec(chroot_path, vbl);
	    // vec_free(vbl);
	    parsed++;
        } else if (unformat (&input, "vlib-vec-rate %f", &vr)) {
	    test_vlib_vec_rate(chroot_path, vr);
	    parsed++;
        } else if (unformat (&input, "test-reg %s", &vbl)) {
	    test_reg(chroot_path, vbl);
	    parsed++;
        } else if (unformat (&input, "crash-test")) {
            crash_test (chroot_path);
	} else if (unformat (&input, "chroot %s", &chroot_path_u8)) {
            chroot_path = (char *) chroot_path_u8;
        } else if (unformat (&input, "fake-install %s", &value)) {
            fake_install (chroot_path, value);
            parsed++;
        } else if (unformat (&input, "size %d", &size)) {
            map_with_size (chroot_path, size);
            parsed++;
        } else {
            break;
        }
    }

    unformat_free (&input);

    if (!parsed) {
        fformat(stdout, "%s: get-string <name> | set-string <name> <value>\n", 
                argv[0]);
        fformat(stdout, "      unset-string <name> | dump-strings\n");
	fformat(stdout, "      test-vec <name> |\n");
	fformat(stdout, "      unset-vec <name> | dump-vecs\n");
    }
    
    exit (0);
}