add checks the length of currency and issuer for float_sto (#518)

fix #461
This commit is contained in:
tequ
2025-08-14 17:44:26 +09:00
committed by GitHub
parent b619d03b22
commit 285ea1d4e6
3 changed files with 199 additions and 137 deletions

View File

@@ -8086,6 +8086,12 @@ DEFINE_JS_FUNCTION(
if (any_missing(f1, fc) || !fits_u32(fc))
returnJS(INVALID_ARGUMENT);
if (cur.has_value() && cur->size() != 20 && cur->size() != 3)
returnJS(INVALID_ARGUMENT);
if (isu.has_value() && isu->size() != 20)
returnJS(INVALID_ARGUMENT);
std::optional<Currency> currency;
std::optional<AccountID> issuer;
if (cur.has_value())

View File

@@ -3989,6 +3989,17 @@ public:
// invalid XFL
ASSERT(float_sto(cur2, iss, -1n, sfAmount) === INVALID_FLOAT)
// invalid currency length (not 3 or 20 bytes)
ASSERT(float_sto([1, 2], iss, 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto([1, 2, 3, 4], iss, 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto(new Array(19).fill(0), iss, 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto(new Array(21).fill(0), iss, 0n, sfAmount) === INVALID_ARGUMENT)
// invalid issuer length (not 20 bytes)
ASSERT(float_sto(cur1, [1, 2, 3], 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto(cur1, new Array(19).fill(0), 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto(cur1, new Array(21).fill(0), 0n, sfAmount) === INVALID_ARGUMENT)
// currency and issuer with field code not XRP is valid (XFL = 1234567.0)
// try with a three letter currency
y = float_sto(cur1, iss, 6198187654261802496n, sfAmount)

View File

@@ -4361,6 +4361,17 @@ std::map<std::string, std::vector<uint8_t>> jswasm = {
// invalid XFL
ASSERT(float_sto(cur2, iss, -1n, sfAmount) === INVALID_FLOAT)
// invalid currency length (not 3 or 20 bytes)
ASSERT(float_sto([1, 2], iss, 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto([1, 2, 3, 4], iss, 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto(new Array(19).fill(0), iss, 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto(new Array(21).fill(0), iss, 0n, sfAmount) === INVALID_ARGUMENT)
// invalid issuer length (not 20 bytes)
ASSERT(float_sto(cur1, [1, 2, 3], 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto(cur1, new Array(19).fill(0), 0n, sfAmount) === INVALID_ARGUMENT)
ASSERT(float_sto(cur1, new Array(21).fill(0), 0n, sfAmount) === INVALID_ARGUMENT)
// currency and issuer with field code not XRP is valid (XFL = 1234567.0)
// try with a three letter currency
y = float_sto(cur1, iss, 6198187654261802496n, sfAmount)
@@ -4517,7 +4528,7 @@ std::map<std::string, std::vector<uint8_t>> jswasm = {
0x00U, 0x00U, 0x00U, 0xc2U, 0x02U, 0x4dU, 0xebU, 0x00U, 0x00U, 0x00U,
0x3aU, 0xebU, 0x00U, 0x00U, 0x00U, 0xc7U, 0x28U, 0xe0U, 0x03U, 0x01U,
0x13U, 0x00U, 0x36U, 0x01U, 0x00U, 0x36U, 0x04U, 0x2bU, 0x28U, 0x3fU,
0x3aU, 0x3fU, 0xfdU, 0x00U, 0x2cU, 0x10U, 0x00U, 0x0cU, 0xfeU, 0x01U,
0x3aU, 0x3fU, 0xfdU, 0x00U, 0x2cU, 0x10U, 0x00U, 0x0cU, 0x94U, 0x02U,
0x0cU, 0x02U, 0x06U, 0x00U, 0x00U, 0x01U, 0x00U, 0x01U, 0x03U, 0x00U,
0x00U, 0x16U, 0x01U, 0xe2U, 0x03U, 0x00U, 0x01U, 0x00U, 0xd3U, 0x97U,
0xecU, 0x12U, 0x38U, 0xf2U, 0x00U, 0x00U, 0x00U, 0xd3U, 0x42U, 0x38U,
@@ -4533,7 +4544,7 @@ std::map<std::string, std::vector<uint8_t>> jswasm = {
0x62U, 0x00U, 0x00U, 0x92U, 0x63U, 0x00U, 0x00U, 0x0eU, 0xeeU, 0xe0U,
0x0aU, 0x28U, 0xe0U, 0x03U, 0x0cU, 0x05U, 0x03U, 0x5dU, 0x44U, 0x4eU,
0x35U, 0x0cU, 0x02U, 0x06U, 0x00U, 0x00U, 0x01U, 0x0cU, 0x01U, 0x06U,
0x00U, 0x1aU, 0x81U, 0x0bU, 0x0dU, 0xecU, 0x03U, 0x00U, 0x01U, 0x00U,
0x00U, 0x21U, 0xc2U, 0x0dU, 0x0dU, 0xecU, 0x03U, 0x00U, 0x01U, 0x00U,
0xeeU, 0x03U, 0x01U, 0x00U, 0x20U, 0xf0U, 0x03U, 0x01U, 0x01U, 0x30U,
0xf2U, 0x03U, 0x01U, 0x02U, 0x30U, 0xeaU, 0x03U, 0x03U, 0x05U, 0x20U,
0xf4U, 0x03U, 0x02U, 0x03U, 0x20U, 0xeaU, 0x03U, 0x04U, 0x05U, 0x20U,
@@ -4567,145 +4578,179 @@ std::map<std::string, std::vector<uint8_t>> jswasm = {
0x00U, 0x00U, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x62U, 0x01U, 0x00U,
0x62U, 0x02U, 0x00U, 0xc1U, 0x05U, 0x8dU, 0x38U, 0xe6U, 0x00U, 0x00U,
0x00U, 0x22U, 0x04U, 0x00U, 0x38U, 0xe3U, 0x00U, 0x00U, 0x00U, 0xacU,
0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0xe8U, 0x00U,
0x00U, 0x00U, 0x62U, 0x02U, 0x00U, 0xc1U, 0x06U, 0x38U, 0xe6U, 0x00U,
0x00U, 0x00U, 0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x00U, 0x00U, 0x0eU,
0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x98U, 0x04U,
0x47U, 0x00U, 0x00U, 0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U,
0x00U, 0x00U, 0xebU, 0xbfU, 0x31U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U,
0x00U, 0x00U, 0x00U, 0x38U, 0xeaU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U,
0x00U, 0x42U, 0xfeU, 0x00U, 0x00U, 0x00U, 0xbfU, 0x09U, 0xbfU, 0x1dU,
0x24U, 0x02U, 0x00U, 0x38U, 0xe9U, 0x00U, 0x00U, 0x00U, 0xf2U, 0xf1U,
0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x62U, 0x01U, 0x00U, 0x62U,
0x02U, 0x00U, 0xc1U, 0x07U, 0x38U, 0xe6U, 0x00U, 0x00U, 0x00U, 0x22U,
0x04U, 0x00U, 0x11U, 0x63U, 0x00U, 0x00U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x98U, 0x04U, 0x47U, 0x00U, 0x00U,
0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U, 0x00U, 0x00U, 0xebU,
0xbfU, 0x31U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U,
0x38U, 0xeaU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x42U, 0xfeU,
0x00U, 0x00U, 0x00U, 0xbfU, 0x09U, 0xbfU, 0x1dU, 0x24U, 0x02U, 0x00U,
0x62U, 0x01U, 0x00U, 0xf2U, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U,
0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xfdU, 0x00U,
0x00U, 0x00U, 0xb8U, 0xb9U, 0x26U, 0x02U, 0x00U, 0x62U, 0x02U, 0x00U,
0xc1U, 0x06U, 0x38U, 0xe6U, 0x00U, 0x00U, 0x00U, 0x22U, 0x04U, 0x00U,
0x38U, 0xe4U, 0x00U, 0x00U, 0x00U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U,
0x00U, 0x00U, 0x00U, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0xb8U, 0xb9U,
0xbaU, 0xbbU, 0x26U, 0x04U, 0x00U, 0x62U, 0x02U, 0x00U, 0xc1U, 0x07U,
0x38U, 0xe6U, 0x00U, 0x00U, 0x00U, 0x22U, 0x04U, 0x00U, 0x38U, 0xe4U,
0x00U, 0x00U, 0x00U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U,
0x00U, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0x98U, 0x00U, 0x00U,
0x00U, 0x11U, 0xbfU, 0x13U, 0x21U, 0x01U, 0x00U, 0x42U, 0xfbU, 0x00U,
0x00U, 0x00U, 0xb7U, 0x24U, 0x01U, 0x00U, 0x62U, 0x02U, 0x00U, 0xc1U,
0x08U, 0x38U, 0xe6U, 0x00U, 0x00U, 0x00U, 0x22U, 0x04U, 0x00U, 0x38U,
0xe4U, 0x00U, 0x00U, 0x00U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0x98U, 0x00U,
0x00U, 0x00U, 0x11U, 0xbfU, 0x15U, 0x21U, 0x01U, 0x00U, 0x42U, 0xfbU,
0x00U, 0x00U, 0x00U, 0xb7U, 0x24U, 0x01U, 0x00U, 0x62U, 0x02U, 0x00U,
0xc1U, 0x09U, 0x38U, 0xe6U, 0x00U, 0x00U, 0x00U, 0x22U, 0x04U, 0x00U,
0x38U, 0xe4U, 0x00U, 0x00U, 0x00U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U,
0x00U, 0x00U, 0x00U, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0xe8U,
0x00U, 0x00U, 0x00U, 0xb8U, 0xb9U, 0xbaU, 0x26U, 0x03U, 0x00U, 0xc1U,
0x0aU, 0x38U, 0xe6U, 0x00U, 0x00U, 0x00U, 0x22U, 0x04U, 0x00U, 0x38U,
0xe4U, 0x00U, 0x00U, 0x00U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0xe8U, 0x00U,
0x00U, 0x00U, 0x38U, 0x98U, 0x00U, 0x00U, 0x00U, 0x11U, 0xbfU, 0x13U,
0x21U, 0x01U, 0x00U, 0x42U, 0xfbU, 0x00U, 0x00U, 0x00U, 0xb7U, 0x24U,
0x01U, 0x00U, 0xc1U, 0x0bU, 0x38U, 0xe6U, 0x00U, 0x00U, 0x00U, 0x22U,
0x04U, 0x00U, 0x38U, 0xe4U, 0x00U, 0x00U, 0x00U, 0xacU, 0xf1U, 0x0eU,
0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U,
0x38U, 0xe8U, 0x00U, 0x00U, 0x00U, 0x38U, 0x98U, 0x00U, 0x00U, 0x00U,
0x11U, 0xbfU, 0x15U, 0x21U, 0x01U, 0x00U, 0x42U, 0xfbU, 0x00U, 0x00U,
0x00U, 0xb7U, 0x24U, 0x01U, 0x00U, 0xc1U, 0x0cU, 0x38U, 0xe6U, 0x00U,
0x00U, 0x00U, 0x22U, 0x04U, 0x00U, 0x38U, 0xe4U, 0x00U, 0x00U, 0x00U,
0xacU, 0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0xe8U,
0x00U, 0x00U, 0x00U, 0x62U, 0x02U, 0x00U, 0xc1U, 0x0dU, 0x38U, 0xe6U,
0x00U, 0x00U, 0x00U, 0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x00U, 0x00U,
0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x98U,
0x04U, 0x47U, 0x00U, 0x00U, 0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU,
0x62U, 0x00U, 0x00U, 0xebU, 0xbfU, 0x31U, 0xacU, 0xf1U, 0x0eU, 0x38U,
0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xeaU, 0x00U, 0x00U, 0x00U, 0x62U,
0x00U, 0x00U, 0x42U, 0xfeU, 0x00U, 0x00U, 0x00U, 0xbfU, 0x09U, 0xbfU,
0x1dU, 0x24U, 0x02U, 0x00U, 0x38U, 0xe9U, 0x00U, 0x00U, 0x00U, 0xf2U,
0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x62U, 0x01U, 0x00U,
0x62U, 0x02U, 0x00U, 0xc1U, 0x0eU, 0x38U, 0xe6U, 0x00U, 0x00U, 0x00U,
0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x00U, 0x00U, 0x0eU, 0x38U, 0xe5U,
0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x98U, 0x04U, 0x47U, 0x00U,
0x00U, 0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U, 0x00U, 0x00U,
0xebU, 0xbfU, 0x31U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U,
0x00U, 0x38U, 0xeaU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x42U,
0xfeU, 0x00U, 0x00U, 0x00U, 0xbfU, 0x1dU, 0xbfU, 0x31U, 0x24U, 0x02U,
0x00U, 0x62U, 0x02U, 0x00U, 0xf2U, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xb7U, 0x47U, 0xbfU, 0x61U, 0xacU,
0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU, 0x00U,
0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xf1U, 0xc1U, 0x08U, 0xacU, 0xf1U,
0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x62U, 0x01U, 0x00U, 0x62U,
0x02U, 0x00U, 0xc1U, 0x09U, 0x38U, 0xe6U, 0x00U, 0x00U, 0x00U, 0x22U,
0x04U, 0x00U, 0x11U, 0x63U, 0x00U, 0x00U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x98U, 0x04U, 0x47U, 0x00U, 0x00U,
0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U, 0x00U, 0x00U, 0xebU,
0xbfU, 0x31U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U,
0x38U, 0xffU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xf1U, 0xc1U,
0x0aU, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x62U,
0x01U, 0x00U, 0x62U, 0x02U, 0x00U, 0xc1U, 0x0bU, 0x38U, 0xe7U, 0x00U,
0x00U, 0x00U, 0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x00U, 0x00U, 0x0eU,
0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x98U, 0x04U,
0x47U, 0x00U, 0x00U, 0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U,
0x00U, 0x00U, 0xebU, 0xbfU, 0x32U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U,
0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xb7U, 0x47U, 0xbfU, 0x60U,
0xacU, 0x11U, 0xecU, 0x0aU, 0x0eU, 0x62U, 0x00U, 0x00U, 0xb8U, 0x47U,
0xbfU, 0x12U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U,
0x38U, 0xeaU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x42U, 0xfeU,
0x00U, 0x00U, 0x00U, 0xbfU, 0x0aU, 0xbfU, 0x1eU, 0x24U, 0x02U, 0x00U,
0x62U, 0x01U, 0x00U, 0xf2U, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U,
0x00U, 0x38U, 0xeaU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x42U,
0xfeU, 0x00U, 0x00U, 0x00U, 0xbfU, 0x1eU, 0xbfU, 0x32U, 0x24U, 0x02U,
0x00U, 0x62U, 0x02U, 0x00U, 0xf2U, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x38U, 0xffU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U,
0xf1U, 0xc1U, 0x0cU, 0xacU, 0xf1U, 0x0eU, 0x61U, 0x04U, 0x00U, 0x61U,
0x03U, 0x00U, 0xb7U, 0xceU, 0x62U, 0x03U, 0x00U, 0xbfU, 0x08U, 0xa4U,
0xecU, 0x15U, 0x62U, 0x00U, 0x00U, 0xb9U, 0x62U, 0x03U, 0x00U, 0x9eU,
0xb7U, 0x49U, 0x62U, 0x03U, 0x00U, 0x92U, 0x63U, 0x03U, 0x00U, 0x0eU,
0xeeU, 0xe5U, 0x06U, 0xc5U, 0x04U, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U,
0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U,
0xc1U, 0x0dU, 0xc1U, 0x0eU, 0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x04U,
0x00U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x62U, 0x04U, 0x00U,
0x98U, 0x04U, 0x47U, 0x00U, 0x00U, 0x00U, 0xadU, 0x11U, 0xecU, 0x09U,
0x0eU, 0x62U, 0x04U, 0x00U, 0xebU, 0xbfU, 0x08U, 0xacU, 0xf1U, 0x0eU,
0x61U, 0x05U, 0x00U, 0xb7U, 0xc5U, 0x05U, 0x62U, 0x05U, 0x00U, 0xbfU,
0x08U, 0xa4U, 0xecU, 0x1cU, 0x62U, 0x00U, 0x00U, 0xb9U, 0x62U, 0x05U,
0x00U, 0x9eU, 0x73U, 0x62U, 0x04U, 0x00U, 0x62U, 0x05U, 0x00U, 0x47U,
0x49U, 0x62U, 0x05U, 0x00U, 0x92U, 0x63U, 0x05U, 0x00U, 0x0eU, 0xeeU,
0xdeU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU, 0x00U, 0x00U,
0x00U, 0x62U, 0x00U, 0x00U, 0xf1U, 0xc1U, 0x0fU, 0xacU, 0xf1U, 0x0eU,
0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U,
0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0xc1U, 0x10U, 0xc1U, 0x11U, 0x22U,
0x04U, 0x00U, 0x11U, 0x63U, 0x04U, 0x00U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x62U, 0x04U, 0x00U, 0x98U, 0x04U, 0x47U, 0x00U, 0x00U,
0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U, 0x04U, 0x00U, 0xebU,
0xbfU, 0x08U, 0xacU, 0xf1U, 0x0eU, 0x61U, 0x06U, 0x00U, 0xb7U, 0xc5U,
0x06U, 0x62U, 0x06U, 0x00U, 0xbfU, 0x08U, 0xa4U, 0xecU, 0x1cU, 0x62U,
0x00U, 0x00U, 0xb9U, 0x62U, 0x06U, 0x00U, 0x9eU, 0x73U, 0x62U, 0x04U,
0x00U, 0x62U, 0x06U, 0x00U, 0x47U, 0x49U, 0x62U, 0x06U, 0x00U, 0x92U,
0x63U, 0x06U, 0x00U, 0x0eU, 0xeeU, 0xdeU, 0x38U, 0xe5U, 0x00U, 0x00U,
0xfeU, 0x00U, 0x00U, 0x00U, 0xbfU, 0x09U, 0xbfU, 0x1dU, 0x24U, 0x02U,
0x00U, 0x62U, 0x01U, 0x00U, 0xf2U, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x38U, 0xeaU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U,
0x42U, 0xfeU, 0x00U, 0x00U, 0x00U, 0xbfU, 0x1dU, 0xbfU, 0x31U, 0x24U,
0x02U, 0x00U, 0x62U, 0x02U, 0x00U, 0xf2U, 0xf1U, 0x0eU, 0x38U, 0xe5U,
0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xb7U, 0x47U, 0xbfU, 0x61U,
0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU,
0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xf1U, 0xc1U, 0x0fU, 0xacU,
0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x62U, 0x01U, 0x00U,
0x62U, 0x02U, 0x00U, 0xc1U, 0x10U, 0x38U, 0xe6U, 0x00U, 0x00U, 0x00U,
0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x00U, 0x00U, 0x0eU, 0x38U, 0xe5U,
0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x98U, 0x04U, 0x47U, 0x00U,
0x00U, 0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U, 0x00U, 0x00U,
0xebU, 0xbfU, 0x31U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U,
0x00U, 0x38U, 0xffU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xf1U,
0xc1U, 0x12U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U,
0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U,
0xc1U, 0x13U, 0xc1U, 0x14U, 0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x04U,
0x00U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x62U, 0x04U, 0x00U,
0x98U, 0x04U, 0x47U, 0x00U, 0x00U, 0x00U, 0xadU, 0x11U, 0xecU, 0x09U,
0x0eU, 0x62U, 0x04U, 0x00U, 0xebU, 0xbfU, 0x08U, 0xacU, 0xf1U, 0x0eU,
0x61U, 0x07U, 0x00U, 0xb7U, 0xc5U, 0x07U, 0x62U, 0x07U, 0x00U, 0xbfU,
0x08U, 0xa4U, 0xecU, 0x1cU, 0x62U, 0x00U, 0x00U, 0xb9U, 0x62U, 0x07U,
0x00U, 0x9eU, 0x73U, 0x62U, 0x04U, 0x00U, 0x62U, 0x07U, 0x00U, 0x47U,
0x49U, 0x62U, 0x07U, 0x00U, 0x92U, 0x63U, 0x07U, 0x00U, 0x0eU, 0xeeU,
0xdeU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU, 0x00U, 0x00U,
0x00U, 0x62U, 0x00U, 0x00U, 0xf1U, 0xc1U, 0x15U, 0xacU, 0xf1U, 0x0eU,
0x61U, 0x09U, 0x00U, 0x61U, 0x08U, 0x00U, 0xb7U, 0xc5U, 0x08U, 0x62U,
0x08U, 0x00U, 0xbfU, 0x08U, 0xa4U, 0xecU, 0x15U, 0x62U, 0x00U, 0x00U,
0xb9U, 0x62U, 0x08U, 0x00U, 0x9eU, 0xb7U, 0x49U, 0x62U, 0x08U, 0x00U,
0x92U, 0x63U, 0x08U, 0x00U, 0x0eU, 0xeeU, 0xe5U, 0x06U, 0xc5U, 0x09U,
0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U,
0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0xc1U, 0x16U, 0xb7U, 0x22U, 0x04U,
0x00U, 0x11U, 0x63U, 0x09U, 0x00U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U,
0x00U, 0x62U, 0x09U, 0x00U, 0x98U, 0x04U, 0x47U, 0x00U, 0x00U, 0x00U,
0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U, 0x09U, 0x00U, 0xebU, 0xbfU,
0x08U, 0xacU, 0xf1U, 0x0eU, 0x61U, 0x0aU, 0x00U, 0xb7U, 0xc5U, 0x0aU,
0x62U, 0x0aU, 0x00U, 0xbfU, 0x08U, 0xa4U, 0xecU, 0x1cU, 0x62U, 0x00U,
0x00U, 0xb8U, 0x62U, 0x0aU, 0x00U, 0x9eU, 0x73U, 0x62U, 0x09U, 0x00U,
0x62U, 0x0aU, 0x00U, 0x47U, 0x49U, 0x62U, 0x0aU, 0x00U, 0x92U, 0x63U,
0x0aU, 0x00U, 0x0eU, 0xeeU, 0xdeU, 0x62U, 0x00U, 0x00U, 0xb7U, 0xbfU,
0x61U, 0x49U, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU, 0x00U,
0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x42U, 0xfeU, 0x00U, 0x00U, 0x00U,
0xb7U, 0xbfU, 0x09U, 0x24U, 0x02U, 0x00U, 0xf1U, 0xc1U, 0x17U, 0xacU,
0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U,
0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0xc1U, 0x18U, 0xb7U,
0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x09U, 0x00U, 0x0eU, 0x61U, 0x0bU,
0x00U, 0xb7U, 0xc5U, 0x0bU, 0x62U, 0x0bU, 0x00U, 0xbfU, 0x08U, 0xa4U,
0xecU, 0x1cU, 0x62U, 0x00U, 0x00U, 0xb8U, 0x62U, 0x0bU, 0x00U, 0x9eU,
0x73U, 0x62U, 0x09U, 0x00U, 0x62U, 0x0bU, 0x00U, 0x47U, 0x49U, 0x62U,
0x0bU, 0x00U, 0x92U, 0x63U, 0x0bU, 0x00U, 0x0eU, 0xeeU, 0xdeU, 0x38U,
0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU, 0x00U, 0x00U, 0x00U, 0x62U,
0x00U, 0x00U, 0x42U, 0xfeU, 0x00U, 0x00U, 0x00U, 0xb7U, 0xbfU, 0x09U,
0x24U, 0x02U, 0x00U, 0xf1U, 0xc1U, 0x19U, 0xacU, 0xf1U, 0x0eU, 0x38U,
0x00U, 0x01U, 0x00U, 0x00U, 0xc3U, 0xb7U, 0x23U, 0x02U, 0x00U, 0xe0U,
0x03U, 0x14U, 0x41U, 0x30U, 0x0dU, 0x6dU, 0x26U, 0x00U, 0x1cU, 0x0eU,
0xa3U, 0xa5U, 0xb9U, 0xc3U, 0xa5U, 0x00U, 0x23U, 0x08U, 0x8fU, 0x91U,
0xaaU, 0x85U, 0x91U, 0xa0U, 0xa0U, 0x50U, 0x64U, 0x85U, 0x8fU, 0x63U,
0x85U, 0x91U, 0x00U, 0x1bU, 0x08U, 0xa0U, 0xa0U, 0x64U, 0x13U, 0xa8U,
0x13U, 0x8aU, 0x8fU, 0xd2U, 0x64U, 0x8bU, 0x8fU, 0xd1U, 0x64U, 0x8aU,
0x8fU, 0xd1U, 0x00U, 0x13U, 0x08U, 0x13U, 0xafU, 0x12U, 0x86U, 0x8fU,
0xd1U, 0x27U, 0x9bU, 0x85U, 0xd0U, 0x00U, 0x1eU, 0x08U, 0x0aU, 0x00U,
0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU, 0x10U,
0x01U, 0x80U, 0x0aU, 0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU,
0xc5U, 0x08U, 0xacU, 0x0aU, 0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU,
0xaaU, 0xc5U, 0x08U, 0xacU, 0x0aU, 0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U,
0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU, 0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU,
0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU,
0xc1U, 0x11U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U,
0x62U, 0x01U, 0x00U, 0x62U, 0x02U, 0x00U, 0xc1U, 0x12U, 0x38U, 0xe7U,
0x00U, 0x00U, 0x00U, 0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x00U, 0x00U,
0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x98U,
0x04U, 0x47U, 0x00U, 0x00U, 0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU,
0x62U, 0x00U, 0x00U, 0xebU, 0xbfU, 0x32U, 0xacU, 0xf1U, 0x0eU, 0x38U,
0xe5U, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xb7U, 0x47U, 0xbfU,
0x60U, 0xacU, 0x11U, 0xecU, 0x0aU, 0x0eU, 0x62U, 0x00U, 0x00U, 0xb8U,
0x47U, 0xbfU, 0x12U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U,
0x00U, 0x38U, 0xeaU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x42U,
0xfeU, 0x00U, 0x00U, 0x00U, 0xbfU, 0x0aU, 0xbfU, 0x1eU, 0x24U, 0x02U,
0x00U, 0x62U, 0x01U, 0x00U, 0xf2U, 0xf1U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x38U, 0xeaU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U,
0x42U, 0xfeU, 0x00U, 0x00U, 0x00U, 0xbfU, 0x1eU, 0xbfU, 0x32U, 0x24U,
0x02U, 0x00U, 0x62U, 0x02U, 0x00U, 0xf2U, 0xf1U, 0x0eU, 0x38U, 0xe5U,
0x00U, 0x00U, 0x00U, 0x38U, 0xffU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U,
0x00U, 0xf1U, 0xc1U, 0x13U, 0xacU, 0xf1U, 0x0eU, 0x61U, 0x04U, 0x00U,
0x61U, 0x03U, 0x00U, 0xb7U, 0xceU, 0x62U, 0x03U, 0x00U, 0xbfU, 0x08U,
0xa4U, 0xecU, 0x15U, 0x62U, 0x00U, 0x00U, 0xb9U, 0x62U, 0x03U, 0x00U,
0x9eU, 0xb7U, 0x49U, 0x62U, 0x03U, 0x00U, 0x92U, 0x63U, 0x03U, 0x00U,
0x0eU, 0xeeU, 0xe5U, 0x06U, 0xc5U, 0x04U, 0x38U, 0xfdU, 0x00U, 0x00U,
0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U,
0x00U, 0xc1U, 0x14U, 0xc1U, 0x15U, 0x22U, 0x04U, 0x00U, 0x11U, 0x63U,
0x04U, 0x00U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x62U, 0x04U,
0x00U, 0x98U, 0x04U, 0x47U, 0x00U, 0x00U, 0x00U, 0xadU, 0x11U, 0xecU,
0x09U, 0x0eU, 0x62U, 0x04U, 0x00U, 0xebU, 0xbfU, 0x08U, 0xacU, 0xf1U,
0x0eU, 0x61U, 0x05U, 0x00U, 0xb7U, 0xc5U, 0x05U, 0x62U, 0x05U, 0x00U,
0xbfU, 0x08U, 0xa4U, 0xecU, 0x1cU, 0x62U, 0x00U, 0x00U, 0xb9U, 0x62U,
0x05U, 0x00U, 0x9eU, 0x73U, 0x62U, 0x04U, 0x00U, 0x62U, 0x05U, 0x00U,
0x47U, 0x49U, 0x62U, 0x05U, 0x00U, 0x92U, 0x63U, 0x05U, 0x00U, 0x0eU,
0xeeU, 0xdeU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU, 0x00U,
0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xf1U, 0xc1U, 0x16U, 0xacU, 0xf1U,
0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U,
0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0xc1U, 0x17U, 0xc1U, 0x18U,
0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x04U, 0x00U, 0x0eU, 0x38U, 0xe5U,
0x00U, 0x00U, 0x00U, 0x62U, 0x04U, 0x00U, 0x98U, 0x04U, 0x47U, 0x00U,
0x00U, 0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U, 0x04U, 0x00U,
0xebU, 0xbfU, 0x08U, 0xacU, 0xf1U, 0x0eU, 0x61U, 0x06U, 0x00U, 0xb7U,
0xc5U, 0x06U, 0x62U, 0x06U, 0x00U, 0xbfU, 0x08U, 0xa4U, 0xecU, 0x1cU,
0x62U, 0x00U, 0x00U, 0xb9U, 0x62U, 0x06U, 0x00U, 0x9eU, 0x73U, 0x62U,
0x04U, 0x00U, 0x62U, 0x06U, 0x00U, 0x47U, 0x49U, 0x62U, 0x06U, 0x00U,
0x92U, 0x63U, 0x06U, 0x00U, 0x0eU, 0xeeU, 0xdeU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x38U, 0xffU, 0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U,
0xf1U, 0xc1U, 0x19U, 0xacU, 0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U,
0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U,
0x00U, 0xc1U, 0x1aU, 0xc1U, 0x1bU, 0x22U, 0x04U, 0x00U, 0x11U, 0x63U,
0x04U, 0x00U, 0x0eU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x62U, 0x04U,
0x00U, 0x98U, 0x04U, 0x47U, 0x00U, 0x00U, 0x00U, 0xadU, 0x11U, 0xecU,
0x09U, 0x0eU, 0x62U, 0x04U, 0x00U, 0xebU, 0xbfU, 0x08U, 0xacU, 0xf1U,
0x0eU, 0x61U, 0x07U, 0x00U, 0xb7U, 0xc5U, 0x07U, 0x62U, 0x07U, 0x00U,
0xbfU, 0x08U, 0xa4U, 0xecU, 0x1cU, 0x62U, 0x00U, 0x00U, 0xb9U, 0x62U,
0x07U, 0x00U, 0x9eU, 0x73U, 0x62U, 0x04U, 0x00U, 0x62U, 0x07U, 0x00U,
0x47U, 0x49U, 0x62U, 0x07U, 0x00U, 0x92U, 0x63U, 0x07U, 0x00U, 0x0eU,
0xeeU, 0xdeU, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU, 0x00U,
0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0xf1U, 0xc1U, 0x1cU, 0xacU, 0xf1U,
0x0eU, 0x61U, 0x09U, 0x00U, 0x61U, 0x08U, 0x00U, 0xb7U, 0xc5U, 0x08U,
0x62U, 0x08U, 0x00U, 0xbfU, 0x08U, 0xa4U, 0xecU, 0x15U, 0x62U, 0x00U,
0x00U, 0xb9U, 0x62U, 0x08U, 0x00U, 0x9eU, 0xb7U, 0x49U, 0x62U, 0x08U,
0x00U, 0x92U, 0x63U, 0x08U, 0x00U, 0x0eU, 0xeeU, 0xe5U, 0x06U, 0xc5U,
0x09U, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U,
0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0xc1U, 0x1dU, 0xb7U, 0x22U,
0x04U, 0x00U, 0x11U, 0x63U, 0x09U, 0x00U, 0x0eU, 0x38U, 0xe5U, 0x00U,
0x00U, 0x00U, 0x62U, 0x09U, 0x00U, 0x98U, 0x04U, 0x47U, 0x00U, 0x00U,
0x00U, 0xadU, 0x11U, 0xecU, 0x09U, 0x0eU, 0x62U, 0x09U, 0x00U, 0xebU,
0xbfU, 0x08U, 0xacU, 0xf1U, 0x0eU, 0x61U, 0x0aU, 0x00U, 0xb7U, 0xc5U,
0x0aU, 0x62U, 0x0aU, 0x00U, 0xbfU, 0x08U, 0xa4U, 0xecU, 0x1cU, 0x62U,
0x00U, 0x00U, 0xb8U, 0x62U, 0x0aU, 0x00U, 0x9eU, 0x73U, 0x62U, 0x09U,
0x00U, 0x62U, 0x0aU, 0x00U, 0x47U, 0x49U, 0x62U, 0x0aU, 0x00U, 0x92U,
0x63U, 0x0aU, 0x00U, 0x0eU, 0xeeU, 0xdeU, 0x62U, 0x00U, 0x00U, 0xb7U,
0xbfU, 0x61U, 0x49U, 0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU,
0x00U, 0x00U, 0x00U, 0x62U, 0x00U, 0x00U, 0x42U, 0xfeU, 0x00U, 0x00U,
0x00U, 0xb7U, 0xbfU, 0x09U, 0x24U, 0x02U, 0x00U, 0xf1U, 0xc1U, 0x1eU,
0xacU, 0xf1U, 0x0eU, 0x38U, 0xfdU, 0x00U, 0x00U, 0x00U, 0x38U, 0x46U,
0x00U, 0x00U, 0x00U, 0x38U, 0x46U, 0x00U, 0x00U, 0x00U, 0xc1U, 0x1fU,
0xb7U, 0x22U, 0x04U, 0x00U, 0x11U, 0x63U, 0x09U, 0x00U, 0x0eU, 0x61U,
0x0bU, 0x00U, 0xb7U, 0xc5U, 0x0bU, 0x62U, 0x0bU, 0x00U, 0xbfU, 0x08U,
0xa4U, 0xecU, 0x1cU, 0x62U, 0x00U, 0x00U, 0xb8U, 0x62U, 0x0bU, 0x00U,
0x9eU, 0x73U, 0x62U, 0x09U, 0x00U, 0x62U, 0x0bU, 0x00U, 0x47U, 0x49U,
0x62U, 0x0bU, 0x00U, 0x92U, 0x63U, 0x0bU, 0x00U, 0x0eU, 0xeeU, 0xdeU,
0x38U, 0xe5U, 0x00U, 0x00U, 0x00U, 0x38U, 0xffU, 0x00U, 0x00U, 0x00U,
0x62U, 0x00U, 0x00U, 0x42U, 0xfeU, 0x00U, 0x00U, 0x00U, 0xb7U, 0xbfU,
0x09U, 0x24U, 0x02U, 0x00U, 0xf1U, 0xc1U, 0x20U, 0xacU, 0xf1U, 0x0eU,
0x38U, 0x00U, 0x01U, 0x00U, 0x00U, 0xc3U, 0xb7U, 0x23U, 0x02U, 0x00U,
0xe0U, 0x03U, 0x14U, 0x4eU, 0x30U, 0x0dU, 0x6dU, 0x26U, 0x00U, 0x1cU,
0x0eU, 0xa3U, 0xa5U, 0xb9U, 0xc3U, 0xa5U, 0xb4U, 0xb7U, 0xc1U, 0x00U,
0x33U, 0x02U, 0x00U, 0x33U, 0x06U, 0xc6U, 0x00U, 0x35U, 0x02U, 0x00U,
0x35U, 0x08U, 0x8fU, 0x91U, 0xaaU, 0x85U, 0x91U, 0xa0U, 0xa0U, 0x50U,
0x64U, 0x85U, 0x8fU, 0x63U, 0x85U, 0x91U, 0x00U, 0x1bU, 0x08U, 0xa0U,
0xa0U, 0x64U, 0x13U, 0xa8U, 0x13U, 0x8aU, 0x8fU, 0xd2U, 0x64U, 0x8bU,
0x8fU, 0xd1U, 0x64U, 0x8aU, 0x8fU, 0xd1U, 0x00U, 0x13U, 0x08U, 0x13U,
0xafU, 0x12U, 0x86U, 0x8fU, 0xd1U, 0x27U, 0x9bU, 0x85U, 0xd0U, 0x00U,
0x1eU, 0x08U, 0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU, 0x00U,
0x0aU, 0x00U, 0x0aU, 0x10U, 0x01U, 0x80U, 0x0aU, 0x00U, 0x0aU, 0x00U,
0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU, 0x00U,
0x0aU, 0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U, 0x08U,
0xacU, 0x0aU, 0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U,
0x08U, 0xacU, 0x06U, 0x00U, 0x00U, 0xe0U, 0xffU, 0xffU, 0xffU, 0xefU,
0x41U, 0x0aU, 0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U,
0x08U, 0xacU, 0x0aU, 0x80U, 0x02U, 0x07U, 0xf7U, 0xcfU, 0x81U, 0xf5U,
0x8bU, 0x36U, 0x8aU, 0x06U, 0x00U, 0x00U, 0xe0U, 0xffU, 0xffU, 0xffU,
0xefU, 0x41U, 0x0aU, 0x80U, 0x02U, 0x07U, 0xf7U, 0xcfU, 0x81U, 0xf5U,
0x8bU, 0x36U, 0x8aU, 0x0aU, 0x00U, 0x06U, 0x00U, 0x00U, 0xe0U, 0xffU,
0xffU, 0xffU, 0xefU, 0x41U, 0x0aU, 0x00U, 0x0aU, 0x88U, 0x02U, 0x07U,
0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU, 0x0aU, 0x88U, 0x02U,
0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU, 0x0aU, 0x00U,
0x0aU, 0x00U}},
0x08U, 0xacU, 0x0aU, 0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU,
0xc5U, 0x08U, 0xacU, 0x0aU, 0x00U, 0x0aU, 0x00U, 0x0aU, 0x88U, 0x02U,
0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU, 0x0aU, 0x88U,
0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU, 0x0aU,
0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU,
0x06U, 0x00U, 0x00U, 0xe0U, 0xffU, 0xffU, 0xffU, 0xefU, 0x41U, 0x0aU,
0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U, 0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU,
0x0aU, 0x80U, 0x02U, 0x07U, 0xf7U, 0xcfU, 0x81U, 0xf5U, 0x8bU, 0x36U,
0x8aU, 0x06U, 0x00U, 0x00U, 0xe0U, 0xffU, 0xffU, 0xffU, 0xefU, 0x41U,
0x0aU, 0x80U, 0x02U, 0x07U, 0xf7U, 0xcfU, 0x81U, 0xf5U, 0x8bU, 0x36U,
0x8aU, 0x0aU, 0x00U, 0x06U, 0x00U, 0x00U, 0xe0U, 0xffU, 0xffU, 0xffU,
0xefU, 0x41U, 0x0aU, 0x00U, 0x0aU, 0x88U, 0x02U, 0x07U, 0x0cU, 0xf9U,
0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU, 0x0aU, 0x88U, 0x02U, 0x07U, 0x0cU,
0xf9U, 0x0eU, 0xaaU, 0xc5U, 0x08U, 0xacU, 0x0aU, 0x00U, 0x0aU, 0x00U}},
/* ==== WASM: 22 ==== */
{R"[test.hook](