Symbol: DIV4_P