EHDR_CMD_T_E_IDENT
return (cmd_body(EHDR_CMD_T_E_IDENT, obj_state, argc, argv));
((cmd != EHDR_CMD_T_E_IDENT) || (e_ident_ndx != -1)))
case EHDR_CMD_T_E_IDENT:
EHDR_CMD_T_E_IDENT, /* 9: generic */
EHDR_CMD_T_E_IDENT, /* 10: generic */
EHDR_CMD_T_E_IDENT, /* 11: generic */
EHDR_CMD_T_E_IDENT, /* 12: generic */
EHDR_CMD_T_E_IDENT, /* 13: generic */
EHDR_CMD_T_E_IDENT, /* 14: generic */
EHDR_CMD_T_E_IDENT, /* 15: generic */
case EHDR_CMD_T_E_IDENT:
case EHDR_CMD_T_E_IDENT: