var x189 [10<<20]byte
	var x190 [10<<20]byte
	var x191 [10<<20]byte
	var x192 [10<<20]byte
	var x193 [10<<20]byte
	var x194 [10<<20]byte
	var x195 [10<<20]byte
	var x196 [10<<20]byte
	var x197 [10<<20]byte
	var x198 [10<<20]byte
	var x199 [10<<20]byte
	var x200 [10<<20]byte
	var x201 [10<<20]byte
	var x202 [10<<20]byte
	var x203 [10<<20]byte
	var x204 [10<<20]byte
	var x205 [10<<20]byte

	var x192 uint64
	var x193 uint64
	x192, x193 = bits.Sub64(x183, 0xffffffff00000000, uint64(p224Uint1(x191)))
	var x194 uint64
	var x195 uint64
	x194, x195 = bits.Sub64(x185, 0xffffffffffffffff, uint64(p224Uint1(x193)))
	var x196 uint64
	var x197 uint64
	x196, x197 = bits.Sub64(x187, 0xffffffff, uint64(p224Uint1(x195)))
	var x199 uint64
	_, x199 = bits.Sub64(x189, uint64(0x0), uint64(p224Uint1(x197)))
	var x200 uint64

	var x190 uint64
	var x191 uint64
	x190, x191 = bits.Add64(x178, arg1[4], uint64(0x0))
	var x192 uint64
	var x193 uint64
	x192, x193 = bits.Add64(x180, uint64(0x0), uint64(p384Uint1(x191)))
	var x194 uint64
	var x195 uint64
	x194, x195 = bits.Add64(x182, uint64(0x0), uint64(p384Uint1(x193)))
	var x196 uint64
	var x197 uint64
	x196, x197 = bits.Add64(x184, uint64(0x0), uint64(p384Uint1(x195)))
	var x198 uint64

	var x192 uint64
	fiatScalarCmovznzU64(&x192, fiatScalarUint1(x191), x182, x173)
	var x193 uint64
	fiatScalarCmovznzU64(&x193, fiatScalarUint1(x191), x184, x175)
	var x194 uint64
	fiatScalarCmovznzU64(&x194, fiatScalarUint1(x191), x186, x177)
	var x195 uint64
	fiatScalarCmovznzU64(&x195, fiatScalarUint1(x191), x188, x179)
	out1[0] = x192
	out1[1] = x193
	out1[2] = x194
	out1[3] = x195
}

	var x191 uint64
	_, x191 = bits.Add64(x135, x171, uint64(0x0))
	var x192 uint64
	var x193 uint64
	x192, x193 = bits.Add64(x137, x173, uint64(p521Uint1(x191)))
	var x194 uint64
	var x195 uint64
	x194, x195 = bits.Add64(x139, x175, uint64(p521Uint1(x193)))
	var x196 uint64
	var x197 uint64
	x196, x197 = bits.Add64(x141, x177, uint64(p521Uint1(x195)))
	var x198 uint64
	var x199 uint64

    X1922,
    X1923,
    X1924,
    X1925,
    X1926,
    X1927,
    X1928,
    X1929,
    X1930,
    X1931,
    X1932,
    X1933,
    X1934,
    X1935,
    X1936,
    X1937,
    X1938,
    X1939,
    X1940,
    X1941,
    X1942,
    X1943,
    X1944,
    X1945,
    X1946,
    X1947,
    X1948,
    X1949,
    X1950,

    X1922,
    X1923,
    X1924,
    X1925,
    X1926,
    X1927,
    X1928,
    X1929,
    X1930,
    X1931,
    X1932,
    X1933,
    X1934,
    X1935,
    X1936,
    X1937,
    X1938,
    X1939,
    X1940,
    X1941,
    X1942,
    X1943,
    X1944,
    X1945,
    X1946,
    X1947,
    X1948,
    X1949,
    X1950,

	x12, x13 = bits.Add64(uint64(0x0), x8, uint64(p256Uint1(x11)))
	var x14 uint64
	var x15 uint64
	x14, x15 = bits.Add64(x12, arg1[1], uint64(0x0))
	var x16 uint64
	var x17 uint64
	x17, x16 = bits.Mul64(x14, 0xffffffff00000001)
	var x18 uint64
	var x19 uint64
	x19, x18 = bits.Mul64(x14, 0xffffffff)
	var x20 uint64
	var x21 uint64
	x21, x20 = bits.Mul64(x14, 0xffffffffffffffff)
	var x22 uint64
	var x23 uint64

  // ResourceVariable:
  // https://github.com/tensorflow/tensorflow/blob/06ff30f7ea35098cb68a231a9eb7ff3ff4be4e1e/tensorflow/python/training/saving/saveable_object_util.py#L194
  ImmediateTensorHandlePtr shapes_and_slices_handle;
  TF_RETURN_IF_ERROR(
      CreateStringVectorTensorHandle(ctx, "", &shapes_and_slices_handle));

  TF_RETURN_IF_ERROR(restore_op->AddInput(prefix_handle.get()));

	SYS_REMOVEXATTR             = 5189
	SYS_LREMOVEXATTR            = 5190
	SYS_FREMOVEXATTR            = 5191
	SYS_TKILL                   = 5192
	SYS_RESERVED193             = 5193
	SYS_FUTEX                   = 5194
	SYS_SCHED_SETAFFINITY       = 5195
	SYS_SCHED_GETAFFINITY       = 5196
	SYS_CACHEFLUSH              = 5197
	SYS_CACHECTL                = 5198
	SYS_SYSMIPS                 = 5199
	SYS_IO_SETUP                = 5200