String id=3
	data="GC (fractional)"
String id=4
	data="GC (idle)"
String id=5
	data="unspecified"
String id=6
	data="forever"
String id=7
	data="network"
String id=8
	data="select"
String id=9
	data="sync.(*Cond).Wait"
String id=10
	data="sync"
String id=11
	data="chan send"
String id=12
	data="chan receive"
String id=13
	data="GC mark assist wait for work"

	out1[1] = x557
	out1[2] = x558
	out1[3] = x559
	out1[4] = x560
	out1[5] = x561
	out1[6] = x562
	out1[7] = x563
	out1[8] = x564
}

// p521Selectznz is a multi-limb conditional select.
//
// Postconditions:
//
//	eval out1 = (if arg1 = 0 then eval arg2 else eval arg3)
//
// Input Bounds:
//
//	arg1: [0x0 ~> 0x1]

	op_VSCEF  uint32 = 0xE71B // 	VRV	VECTOR SCATTER ELEMENT (32)
	op_VSCEG  uint32 = 0xE71A // 	VRV	VECTOR SCATTER ELEMENT (64)
	op_VSEL   uint32 = 0xE78D // 	VRR-e	VECTOR SELECT
	op_VSL    uint32 = 0xE774 // 	VRR-c	VECTOR SHIFT LEFT
	op_VSLB   uint32 = 0xE775 // 	VRR-c	VECTOR SHIFT LEFT BY BYTE
	op_VSLDB  uint32 = 0xE777 // 	VRI-d	VECTOR SHIFT LEFT DOUBLE BY BYTE

              "default": "",
              "type": "string"
            },
            "description": "Map of string keys and values that can be used to organize and categorize (scope and select) objects. May match selectors of replication controllers and services. More info: https://kubernetes.io/docs/concepts/overview/working-with-objects/labels",
            "type": "object"
          },
          "managedFields": {

              "default": "",
              "type": "string"
            },
            "description": "Map of string keys and values that can be used to organize and categorize (scope and select) objects. May match selectors of replication controllers and services. More info: https://kubernetes.io/docs/concepts/overview/working-with-objects/labels",
            "type": "object"
          },
          "managedFields": {

String id=3
	data="GC (fractional)"
String id=4
	data="GC (idle)"
String id=5
	data="unspecified"
String id=6
	data="forever"
String id=7
	data="network"
String id=8
	data="select"
String id=9
	data="sync.(*Cond).Wait"
String id=10
	data="sync"
String id=11
	data="chan send"
String id=12
	data="chan receive"
String id=13
	data="GC mark assist wait for work"