ALT_TYPE_EX_TABLE
alt_type = ALT_TYPE_EX_TABLE;
case ALT_TYPE_EX_TABLE:
if (alt->type == ALT_TYPE_EX_TABLE) {