EHDR_CMD_T_E_MACHINE
return (cmd_body(EHDR_CMD_T_E_MACHINE, obj_state, argc, argv));
case EHDR_CMD_T_E_MACHINE: