;; CONTRACT all_instructions

;; Dont expect this contract to typecheck or run.
;; Just used to check assembler roundtrip of all instructions.

FUNCTION foo () : {tuple, []}
  RETURN

  RETURNR a

  CALL "foo"

  CALL_R arg125 foo 0

  CALL_T "foo"

  CALL_TR arg245 foo 4711

  CALL_GTR arg245 foo 0 100

  CALL_GR arg245 foo 0 4711

  JUMP 5514251025295783441695716053282666408426

  JUMPIF arg196 0x12c651665

  SWITCH_V2 a 63 33

  SWITCH_V3 var4 0x1d61723dd 79 7

  SWITCH_VN arg0 [1, 2, 3]

  PUSH var80

  DUPA

  DUP a

  POP a

  STORE arg183 var225

  INCA

  INC a

  DECA

  DEC a

  ADD a a a

  SUB arg35 arg165 var74

  MUL 44 35 "foo"

  DIV 263838340369912686645632650718169038811 a a

  MOD var113 arg80 arg207

  POW a a a

  LT a 78 var81

  GT arg19 4729414120208894485838100532547810615352 var175

  EQ 85 a arg164

  ELT a arg226 a

  EGT a 1 var250

  NEQ a a a

  AND var255 0x294a24f6 var189

  OR (| [2,0] | 0 | ( (), (42) ) |) arg168 var107

  NOT arg124 a

  TUPLE var999 5019186157739257888756115213149493826410

  ELEMENT arg148 var25 a

  MAP_EMPTY a

  MAP_LOOKUP a a a

  MAP_LOOKUPD var112 arg35 a var112

  MAP_UPDATE false a a a

  MAP_DELETE arg180 a var1

  MAP_MEMBER a { true => 4} 94

  MAP_FROM_LIST () a

  MAP_TO_LIST a { true => 4 }

  MAP_SIZE a { true => 42 }

  NIL arg91

  IS_NIL a var6

  CONS arg185 "foo" a

  HD a var124

  TL arg223 a

  LENGTH var216 a

  APPEND { 203961992615221001243597889146034217896 => 0x1f53a1843} 281217554184165828643225535776787296845 a

  STR_JOIN a a 7144184027126178769820155907121270843348

  INT_TO_STR var238 a

  ADDR_TO_STR a arg216

  STR_REVERSE a @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv

  STR_LENGTH a "foo"

  INT_TO_ADDR arg127 var207

  VARIANT a a 0x1f7b72200 a

  VARIANT_TEST a arg217 a

  VARIANT_ELEMENT a arg103 arg108

  BITS_NONEA

  BITS_NONE a

  BITS_ALLA

  BITS_ALL a

  BITS_ALL_N a arg135

  BITS_SET arg150 a { 0x1a715e2a6 => 3}

  BITS_CLEAR arg98 a arg164

  BITS_TEST a a (| [0,0,3] | 2 | (1, "foo", ()) |)

  BITS_SUM a a

  BITS_OR var20 var186 a

  BITS_AND a 4 arg203

  BITS_DIFF var200 arg247 var20

  ADDRESS a

  BALANCE a

  ORIGIN arg216

  CALLER a

  GASPRICE arg119

  BLOCKHASH a arg110

  CALL_VALUE a

  BENEFICIARY var163

  TIMESTAMP a

  GENERATION 242795038229506961431398379342231049652

  MICROBLOCK arg43

  DIFFICULTY var24

  GASLIMIT arg220

  GAS var35

  LOG0 a

  LOG1 arg86 arg208

  LOG2 a a (| [0,1,3] | 2 | (1, "foo", ()) |)

  LOG3 arg15 arg211 var139 arg44

  LOG4 a a 9 a a

  DEACTIVATE

  SPEND @ak_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv var136

  ORACLE_REGISTER arg29 48 ((| [0,1,3] | 2 | (1, "foo", ()) |)) arg65 { <> => false} <>

  ORACLE_QUERY

  ORACLE_RESPOND

  ORACLE_EXTEND

  ORACLE_GET_ANSWER

  ORACLE_GET_QUESTION

  ORACLE_QUERY_FEE

  AENS_RESOLVE

  AENS_PRECLAIM

  AENS_CLAIM

  AENS_UPDATE

  AENS_TRANSFER

  AENS_REVOKE

  ECRECOVER_SECP256K1

  ECVERIFY

  ECVERIFY_SECP256K1

  SHA3 a

  SHA256 a

  BLAKE2B a

  ABORT a

  EXIT var120

  NOP

  RETURNR ()

  BALANCE_OTHER a arg0

  SETELEMENT a 2 (1, "two", 3) 2

  AUTH_TX_HASH

  CONTRACT_TO_ADDRESS @ct_nv5B93FPzRHrGNmMdTDfGdd5xGZvep3MVSpJqzcQmMp59bBCv