} else {
    print("Un-handled command -- $the_command\n");
    return(-1);
}