20.9. VARIANT-DEFS