Symbol: F_EDC1