../src/primer3_core: PRIMER_{OPT,DEFAULT}_SIZE < PRIMER_MIN_SIZE