KXNORQ K4, K4, K6                                  // c4e1dc46f4
	KXNORQ K5, K4, K6                                  // c4e1dc46f5
	KXNORQ K4, K6, K6                                  // c4e1cc46f4
	KXNORQ K5, K6, K6                                  // c4e1cc46f5
	KXNORQ K4, K4, K4                                  // c4e1dc46e4
	KXNORQ K5, K4, K4                                  // c4e1dc46e5

	KADDW K4, K7, K3                                   // c5c44adc
	KANDB K2, K4, K4                                   // c5dd41e2
	KANDB K7, K4, K4                                   // c5dd41e7
	KANDB K2, K5, K4                                   // c5d541e2
	KANDB K7, K5, K4                                   // c5d541e7
	KANDB K2, K4, K6                                   // c5dd41f2
	KANDB K7, K4, K6                                   // c5dd41f7

	VPOPCNTQ X0, K4, X11                               // 6272fd0c55d8
	VPOPCNTQ 99(R15)(R15*4), K4, X11                   // 6212fd0c559cbf63000000
	VPOPCNTQ 15(DX), K4, X11                           // 6272fd0c559a0f000000
	VPOPCNTQ X24, K4, X31                              // 6202fd0c55f8
	VPOPCNTQ X14, K4, X31                              // 6242fd0c55fe

	VPDPBUSDS X17, X0, K4, X19                         // 62a27d0c51d9
	VPDPBUSDS 7(AX)(CX*4), X0, K4, X19                 // 62e27d0c519c8807000000
	VPDPBUSDS 7(AX)(CX*1), X0, K4, X19                 // 62e27d0c519c0807000000
	VPDPBUSDS X25, X14, K4, X13                        // 62120d0c51e9
	VPDPBUSDS X11, X14, K4, X13                        // 62520d0c51eb

// M3's constraint is named.
type Map3 map[string]int

func f3[M3 Map3](m3 M3) {
	f1(m3)
}

// The core type of M5 unifies with the core type of M4
// during constraint type inference.
func f4[M4 map[K4]int, K4 comparable](m4 M4) {}

func f5[M5 map[K5]int, K5 comparable](m5 M5) {
	f4(m5)
}

// test case from issue

func Copy[MC ~map[KC]VC, KC comparable, VC any](dst, src MC) {
	for k, v := range src {

	VRCP28SD X11, X14, K4, X13                         // 62528d0ccbeb
	VRCP28SD X17, X14, K4, X13                         // 62328d0ccbe9
	VRCP28SD X25, X0, K4, X13                          // 6212fd0ccbe9
	VRCP28SD X11, X0, K4, X13                          // 6252fd0ccbeb
	VRCP28SD X17, X0, K4, X13                          // 6232fd0ccbe9
	VRCP28SD X25, X14, K4, X2                          // 62928d0ccbd1

      K k1, V v1, K k2, V v2, K k3, V v3, K k4, V v4) {
    return new Builder<K, V>(Ordering.natural())
        .put(k1, v1)
        .put(k2, v2)
        .put(k3, v3)
        .put(k4, v4)
        .build();
  }

  public static <K extends Comparable<? super K>, V> ImmutableSortedMap<K, V> of(
      K k1, V v1, K k2, V v2, K k3, V v3, K k4, V v4, K k5, V v5) {
    return new Builder<K, V>(Ordering.natural())

	VPERMI2B (R15), Z19, K4, Z3                        // 62d26544751f
	VPERMI2B Z12, Z9, K4, Z30                          // 6242354c75f4
	VPERMI2B Z22, Z9, K4, Z30                          // 6222354c75f6
	VPERMI2B -17(BP)(SI*8), Z9, K4, Z30                // 6262354c75b4f5efffffff
	VPERMI2B (R15), Z9, K4, Z30                        // 6242354c7537

   * @throws IllegalArgumentException if duplicate keys or values are added
   */
  public static <K, V> ImmutableBiMap<K, V> of(K k1, V v1, K k2, V v2, K k3, V v3, K k4, V v4) {
    return RegularImmutableBiMap.fromEntries(
        entryOf(k1, v1), entryOf(k2, v2), entryOf(k3, v3), entryOf(k4, v4));
  }

  /**
   * Returns an immutable map containing the given entries, in order.
   *

   */
  public static <K, V> ImmutableMap<K, V> of(K k1, V v1, K k2, V v2, K k3, V v3, K k4, V v4) {
    checkEntryNotNull(k1, v1);
    checkEntryNotNull(k2, v2);
    checkEntryNotNull(k3, v3);
    checkEntryNotNull(k4, v4);
    return RegularImmutableMap.create(4, new Object[] {k1, v1, k2, v2, k3, v3, k4, v4});
  }

  /**
   * Returns an immutable map containing the given entries, in order.
   *