MKBN
MKBN(hexbn2, bn);
MKBN(hexbn1, bn);
MKBN(hexbn1, bn);
MKBN(hexbn1, bn);
MKBN(hexbn2, bn);
MKBN(hexbn2, bn);
MKBN(hexbn2, bn);
MKBN(ec256_x, bn_x);
MKBN(ec256_y, bn_y);
MKBN(ec256_x, bn);
MKBN(ec256_y, bn2);
MKBN(hexbn1, bn);
MKBN(hexbn1, bn);
MKBN(hexbn2, bn);