success("Empty") {
	value = Empty {
	}
	bytes = {
		0x00, // one byte
		0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, // padding
	}
}

success("Uint8Uint16Uint32Uint64") {
	value = Uint8Uint16Uint32Uint64 {
		f1: 0x01,
		f2: 0x0203,
		f3: 0x04050607,
		f4: 0x08090a0b0c0d0e0f,
	}
	bytes = {
		0x01, // f1
		0x00, // padding
		0x03, 0x02, // f2
		0x07, 0x06, 0x05, 0x04, // f3
		0x0f, 0x0e, 0x0d, 0x0c, 0x0b, 0x0a, 0x09, 0x08, // f4
	}
}