Symbol: WFE_LOWEST_SEQ