/* This file has been generated from Jehanne with
 * a port of mpc from 9front
 *
 * To regenerate use:
 *	mpc file.mp > file.mpc
 */
void ed448_curve(mpint *p, mpint *a, mpint *d, mpint *x, mpint *y){
	strtomp("FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", nil, 16, p);
	mpassign(mpone, a);
	uitomp(233601UL, d);
	d->sign = -1;
	strtomp("117812161263436946737282484343310064665180535357016373416879082147939404277809514858788439644911793978499419995990477371552926308078495", nil, 16, x);
	uitomp(25UL, y);
	}
