/* Encode a point into a buffer. This function assumes that the point is valid, in affine coordinates, and not the point at infinity.  */
static void p256_encode(void *dst, const p256_jacobian *P)
/* Encode a point into a buffer. This function assumes that the point is valid, in affine coordinates, and not the point at infinity.  */
static void p256_encode(void *dst, const p256_jacobian *P)
{
	unsigned char *buf;
	buf = dst;
	buf[0] = 0x04;
	le13_to_be8(buf + 1, 32, P->x);
	le13_to_be8(buf + 33, 32, P->y);
}