As long as the command's going to be duplicated in arguments[0], why have a separate command field at all ?