Symbol: PMULL_MIN_LEN