return
    COND_A ? A  :
    COND_B ? B  :
    COND_C ? C  :
    COND_D ? () :  # returns undef or empty list per context
    die "unmatched case"
    ;