`der_encode_dss_sig_value`?