BOUNDS_CHECK
BOUNDS_CHECK(cp, 3 * INT16SZ + INT32SZ);
BOUNDS_CHECK(cp, n);
BOUNDS_CHECK(cp, INT16SZ + INT16SZ + INT32SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ + INT32SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ + (*siglen));
BOUNDS_CHECK(cp, INT16SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ);
BOUNDS_CHECK(cp, INT32SZ+INT16SZ);
BOUNDS_CHECK(cp, INT16SZ + INT16SZ + INT32SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ + INT32SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ + state->siglen);
BOUNDS_CHECK(cp, INT16SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ);
BOUNDS_CHECK(cp, 2*INT16SZ + INT32SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ + INT32SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ);
BOUNDS_CHECK(cp, sigfieldlen);
BOUNDS_CHECK(cp, 2*INT16SZ);
BOUNDS_CHECK(cp, INT16SZ);
BOUNDS_CHECK(cp, otherfieldlen);
BOUNDS_CHECK(cp, 2*INT16SZ + INT32SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ + INT32SZ + INT16SZ);
BOUNDS_CHECK(cp, INT16SZ);
BOUNDS_CHECK(cp, sigfieldlen);
BOUNDS_CHECK(cp, 2*INT16SZ);
BOUNDS_CHECK(cp, INT16SZ);
BOUNDS_CHECK(cp, otherfieldlen);