Symbol: PDP_SIZE