+ string const first_arg = cmd.getArg(0);
+ bool const change_type = first_arg == "changetype";
+ bool const for_box = first_arg == "box";
+ if (!change_type && !for_box) {
+ // not for us
+ // this will not be handled higher up
+ cur.undispatched();
+ return;
+ }