+static void write_mpbin_anomalous(MP_INT *a, uint8_t *buffer,
+ int32_t buflen)
+ /* If the BN is smaller than buflen, pads it *at the wrong end* */
+{
+ char *hb = write_mpstring(a);
+ int32_t len;
+ hex_decode(buffer, buflen, &len, hb, True);
+ if (len<buflen)
+ memset(buffer+len,0,buflen-len);
+ free(hb);
+}
+