device_setspeed
{ "setspeed", "[speed]", device_setspeed },
static void device_setspeed(int, char *[]);