BCD

Tezos Contract Explorer
Search Networks Deploy
  • Home
  • /
  • Mainnet
  • /
  • FXHASH Marketplace v2
operations (5.85M)Storage Code Interact Tokens Metadata Fork Views Statistics Details
Latest
​x
633
 
1
{ parameter (or
2
              (or
3
                (or
4
                  (or
5
                    (pair %auction
6
                      (pair (nat %bid_increment_table_id) (nat %bid_time_increment))
7
                      (pair (pair %gentk (nat %id) (nat %version))
8
                            (pair (nat %min_duration) (mutez %reserve_price))))
9
                    (or (nat %auction_bid) (nat %auction_cancel)))
10
                  (or
11
                    (or (nat %auction_fulfill)
12
                        (pair %collection_offer (nat %amount)
13
                                                (pair (nat %collection) (mutez %price))))
14
                    (or
15
                      (pair %collection_offer_accept
16
                        (pair %gentk (nat %id) (nat %version))
17
                        (nat %offer_id))
18
                      (nat %collection_offer_cancel))))
19
                (or
20
                  (or
21
                    (or
22
                      (pair %listing (pair %gentk (nat %id) (nat %version))
23
                                     (mutez %price))
24
                      (nat %listing_accept))
25
                    (or (nat %listing_cancel)
26
                        (pair %offer (pair %gentk (nat %id) (nat %version))
27
                                     (mutez %price))))
28
                  (or (or (nat %offer_accept) (nat %offer_cancel))
29
                      (or
30
                        (pair %set_bid_increment_table (nat %id)
31
                                                       (list %increments_table (pair
32
                                                                                (mutez %current_bid)
33
                                                                                (mutez %increment))))
34
                        (pair %set_gentk_contract
35
                          (pair %contract (address %fa2) (address %views))
36
                          (nat %version))))))
37
              (or
38
                (or
39
                  (or (pair %ep_set_enabled (bool %enabled) (string %name))
40
                      (unit %lock_eps))
41
                  (or (address %set_administrator) (big_map %set_metadata string bytes)))
42
                (or (or (bool %set_pause) (mutez %transfer_xtz_treasury))
43
                    (or
44
                      (pair %update_ep
45
                        (lambda %code
46
                          (pair
47
                            (or
48
                              (or
49
                                (or
50
                                  (pair %auction
51
                                    (pair (nat %bid_increment_table_id)
52
                                          (nat %bid_time_increment))
53
                                    (pair (pair %gentk (nat %id) (nat %version))
54
                                          (pair (nat %min_duration)
55
                                                (mutez %reserve_price))))
56
                                  (or (nat %auction_bid) (nat %auction_cancel)))
57
                                (or
58
                                  (or (nat %auction_fulfill)
59
                                      (pair %collection_offer (nat %amount)
60
                                                              (pair (nat %collection)
61
                                                                    (mutez %price))))
62
                                  (or
63
                                    (pair %collection_offer_accept
64
                                      (pair %gentk (nat %id) (nat %version))
65
                                      (nat %offer_id))
66
                                    (nat %collection_offer_cancel))))
67
                              (or
68
                                (or
69
                                  (or
70
                                    (pair %listing
71
                                      (pair %gentk (nat %id) (nat %version))
72
                                      (mutez %price))
73
                                    (nat %listing_accept))
74
                                  (or (nat %listing_cancel)
75
                                      (pair %offer
76
                                        (pair %gentk (nat %id) (nat %version))
77
                                        (mutez %price))))
78
                                (or (or (nat %offer_accept) (nat %offer_cancel))
79
                                    (or
80
                                      (pair %set_bid_increment_table (nat %id)
81
                                                                     (list %increments_table (pair
82
                                                                                              (mutez %current_bid)
83
                                                                                              (mutez %increment))))
84
                                      (pair %set_gentk_contract
85
                                        (pair %contract (address %fa2) (address %views))
86
                                        (nat %version))))))
87
                            (pair
88
                              (pair
89
                                (pair
90
                                  (pair (address %admin)
91
                                        (big_map %auctions nat
92
                                                           (pair
93
                                                             (pair
94
                                                               (nat %bid_increment_table_id)
95
                                                               (pair
96
                                                                 (nat %bid_time_increment)
97
                                                                 (option %ends_at timestamp)))
98
                                                             (pair
99
                                                               (pair
100
                                                                 (pair %gentk (nat %id)
101
                                                                              (nat %version))
102
                                                                 (nat %min_duration))
103
                                                               (pair (address %seller)
104
                                                                     (pair %top_bid
105
                                                                       (address %bidder)
106
                                                                       (mutez %price)))))))
107
                                  (pair
108
                                    (big_map %auctions_bid_increments nat
109
                                                                      (list (pair
110
                                                                             (mutez %current_bid)
111
                                                                             (mutez %increment))))
112
                                    (nat %auctions_count)))
113
                                (pair
114
                                  (pair
115
                                    (big_map %collection_offers nat
116
                                                                (pair
117
                                                                  (pair (nat %amount)
118
                                                                        (address %buyer))
119
                                                                  (pair
120
                                                                    (nat %collection)
121
                                                                    (mutez %price))))
122
                                    (nat %collection_offers_count))
123
                                  (pair (big_map %entrypoints_enabled string bool)
124
                                        (pair (big_map %extended_storage bytes bytes)
125
                                              (nat %fees)))))
126
                              (pair
127
                                (pair
128
                                  (pair
129
                                    (big_map %gentk_contracts nat
130
                                                              (pair (address %fa2)
131
                                                                    (address %views)))
132
                                    (big_map %listings nat
133
                                                       (pair
134
                                                         (pair %gentk (nat %id)
135
                                                                      (nat %version))
136
                                                         (pair (mutez %price)
137
                                                               (address %seller)))))
138
                                  (pair (nat %listings_count) (bool %locked_eps)))
139
                                (pair
140
                                  (pair (big_map %metadata string bytes)
141
                                        (big_map %offers nat
142
                                                         (pair (address %buyer)
143
                                                               (pair
144
                                                                 (pair %gentk (nat %id)
145
                                                                              (nat %version))
146
                                                                 (mutez %price)))))
147
                                  (pair (nat %offers_count)
148
                                        (pair (bool %paused) (address %treasury)))))))
149
                          (pair (list operation)
150
                                (pair
151
                                  (pair
152
                                    (pair
153
                                      (pair (address %admin)
154
                                            (big_map %auctions nat
155
                                                               (pair
156
                                                                 (pair
157
                                                                   (nat %bid_increment_table_id)
158
                                                                   (pair
159
                                                                     (nat %bid_time_increment)
160
                                                                     (option %ends_at timestamp)))
161
                                                                 (pair
162
                                                                   (pair
163
                                                                     (pair %gentk
164
                                                                       (nat %id)
165
                                                                       (nat %version))
166
                                                                     (nat %min_duration))
167
                                                                   (pair
168
                                                                     (address %seller)
169
                                                                     (pair %top_bid
170
                                                                       (address %bidder)
171
                                                                       (mutez %price)))))))
172
                                      (pair
173
                                        (big_map %auctions_bid_increments nat
174
                                                                          (list (pair
175
                                                                                 (mutez %current_bid)
176
                                                                                 (mutez %increment))))
177
                                        (nat %auctions_count)))
178
                                    (pair
179
                                      (pair
180
                                        (big_map %collection_offers nat
181
                                                                    (pair
182
                                                                      (pair
183
                                                                        (nat %amount)
184
                                                                        (address %buyer))
185
                                                                      (pair
186
                                                                        (nat %collection)
187
                                                                        (mutez %price))))
188
                                        (nat %collection_offers_count))
189
                                      (pair (big_map %entrypoints_enabled string bool)
190
                                            (pair
191
                                              (big_map %extended_storage bytes bytes)
192
                                              (nat %fees)))))
193
                                  (pair
194
                                    (pair
195
                                      (pair
196
                                        (big_map %gentk_contracts nat
197
                                                                  (pair (address %fa2)
198
                                                                        (address %views)))
199
                                        (big_map %listings nat
200
                                                           (pair
201
                                                             (pair %gentk (nat %id)
202
                                                                          (nat %version))
203
                                                             (pair (mutez %price)
204
                                                                   (address %seller)))))
205
                                      (pair (nat %listings_count) (bool %locked_eps)))
206
                                    (pair
207
                                      (pair (big_map %metadata string bytes)
208
                                            (big_map %offers nat
209
                                                             (pair (address %buyer)
210
                                                                   (pair
211
                                                                     (pair %gentk
212
                                                                       (nat %id)
213
                                                                       (nat %version))
214
                                                                     (mutez %price)))))
215
                                      (pair (nat %offers_count)
216
                                            (pair (bool %paused) (address %treasury))))))))
217
                        (or %ep_name
218
                          (or
219
                            (or (unit %auction)
220
                                (or (unit %auction_bid) (unit %auction_cancel)))
221
                            (or (unit %auction_fulfill)
222
                                (or (unit %collection_offer)
223
                                    (unit %collection_offer_accept))))
224
                          (or
225
                            (or (unit %collection_offer_cancel)
226
                                (or (unit %listing) (unit %listing_accept)))
227
                            (or (or (unit %listing_cancel) (unit %offer))
228
                                (or (unit %offer_accept) (unit %offer_cancel))))))
229
                      (or (nat %update_fees) (address %update_treasury)))))) ;
230
  storage (pair
231
            (pair
232
              (pair
233
                (pair
234
                  (pair (address %admin)
235
                        (big_map %auctions nat
236
                                           (pair
237
                                             (pair (nat %bid_increment_table_id)
238
                                                   (pair (nat %bid_time_increment)
239
                                                         (option %ends_at timestamp)))
240
                                             (pair
241
                                               (pair
242
                                                 (pair %gentk (nat %id) (nat %version))
243
                                                 (nat %min_duration))
244
                                               (pair (address %seller)
245
                                                     (pair %top_bid (address %bidder)
246
                                                                    (mutez %price)))))))
247
                  (pair
248
                    (big_map %auctions_bid_increments nat
249
                                                      (list (pair (mutez %current_bid)
250
                                                                 (mutez %increment))))
251
                    (nat %auctions_count)))
252
                (pair
253
                  (pair
254
                    (big_map %collection_offers nat
255
                                                (pair
256
                                                  (pair (nat %amount) (address %buyer))
257
                                                  (pair (nat %collection) (mutez %price))))
258
                    (nat %collection_offers_count))
259
                  (pair (big_map %entrypoints_enabled string bool)
260
                        (pair (big_map %extended_storage bytes bytes) (nat %fees)))))
261
              (pair
262
                (pair
263
                  (pair
264
                    (big_map %gentk_contracts nat (pair (address %fa2) (address %views)))
265
                    (big_map %listings nat
266
                                       (pair (pair %gentk (nat %id) (nat %version))
267
                                             (pair (mutez %price) (address %seller)))))
268
                  (pair (nat %listings_count) (bool %locked_eps)))
269
                (pair
270
                  (pair (big_map %metadata string bytes)
271
                        (big_map %offers nat
272
                                         (pair (address %buyer)
273
                                               (pair
274
                                                 (pair %gentk (nat %id) (nat %version))
275
                                                 (mutez %price)))))
276
                  (pair (nat %offers_count) (pair (bool %paused) (address %treasury))))))
277
            (big_map nat
278
                     (lambda
279
                       (pair
280
                         (or
281
                           (or
282
                             (or
283
                               (pair (pair nat nat)
284
                                     (pair (pair nat nat) (pair nat mutez)))
285
                               (or nat nat))
286
                             (or (or nat (pair nat (pair nat mutez)))
287
                                 (or (pair (pair nat nat) nat) nat)))
288
                           (or
289
                             (or (or (pair (pair nat nat) mutez) nat)
290
                                 (or nat (pair (pair nat nat) mutez)))
291
                             (or (or nat nat)
292
                                 (or (pair nat (list (pair mutez mutez)))
293
                                     (pair (pair address address) nat)))))
294
                         (pair
295
                           (pair
296
                             (pair
297
                               (pair address
298
                                     (big_map nat
299
                                              (pair
300
                                                (pair nat (pair nat (option timestamp)))
301
                                                (pair (pair (pair nat nat) nat)
302
                                                      (pair address (pair address mutez))))))
303
                               (pair (big_map nat (list (pair mutez mutez))) nat))
304
                             (pair
305
                               (pair
306
                                 (big_map nat (pair (pair nat address) (pair nat mutez)))
307
                                 nat)
308
                               (pair (big_map string bool)
309
                                     (pair (big_map bytes bytes) nat))))
310
                           (pair
311
                             (pair
312
                               (pair (big_map nat (pair address address))
313
                                     (big_map nat
314
                                              (pair (pair nat nat) (pair mutez address))))
315
                               (pair nat bool))
316
                             (pair
317
                               (pair (big_map string bytes)
318
                                     (big_map nat
319
                                              (pair address (pair (pair nat nat) mutez))))
320
                               (pair nat (pair bool address))))))
321
                       (pair (list operation)
322
                             (pair
323
                               (pair
324
                                 (pair
325
                                   (pair address
326
                                         (big_map nat
327
                                                  (pair
328
                                                    (pair nat
329
                                                          (pair nat (option timestamp)))
330
                                                    (pair (pair (pair nat nat) nat)
331
                                                          (pair address
332
                                                                (pair address mutez))))))
333
                                   (pair (big_map nat (list (pair mutez mutez))) nat))
334
                                 (pair
335
                                   (pair
336
                                     (big_map nat
337
                                              (pair (pair nat address) (pair nat mutez)))
338
                                     nat)
339
                                   (pair (big_map string bool)
340
                                         (pair (big_map bytes bytes) nat))))
341
                               (pair
342
                                 (pair
343
                                   (pair (big_map nat (pair address address))
344
                                         (big_map nat
345
                                                  (pair (pair nat nat)
346
                                                        (pair mutez address))))
347
                                   (pair nat bool))
348
                                 (pair
349
                                   (pair (big_map string bytes)
350
                                         (big_map nat
351
                                                  (pair address
352
                                                        (pair (pair nat nat) mutez))))
353
                                   (pair nat (pair bool address))))))))) ;
354
  code { UNPAIR 3 ;
355
         IF_LEFT
356
           { DUP ;
357
             IF_LEFT
358
               { IF_LEFT
359
                   { IF_LEFT
360
                       { DROP ; PUSH nat 0 }
361
                       { IF_LEFT { DROP ; PUSH nat 1 } { DROP ; PUSH nat 2 } } }
362
                   { IF_LEFT
363
                       { IF_LEFT { DROP ; PUSH nat 3 } { DROP ; PUSH nat 4 } }
364
                       { IF_LEFT { DROP ; PUSH nat 5 } { DROP ; PUSH nat 6 } } } }
365
               { IF_LEFT
366
                   { IF_LEFT
367
                       { IF_LEFT { DROP ; PUSH nat 7 } { DROP ; PUSH nat 8 } }
368
                       { IF_LEFT { DROP ; PUSH nat 9 } { DROP ; PUSH nat 10 } } }
369
                   { IF_LEFT
370
                       { IF_LEFT { DROP ; PUSH nat 11 } { DROP ; PUSH nat 12 } }
371
                       { IF_LEFT { DROP ; PUSH nat 13 } { DROP ; PUSH nat 14 } } } } ;
372
             DUP 4 ;
373
             SWAP ;
374
             GET ;
375
             IF_NONE { PUSH int -1 ; FAILWITH } {} ;
376
             DUG 2 ;
377
             PAIR ;
378
             EXEC ;
379
             UNPAIR }
380
           { IF_LEFT
381
               { IF_LEFT
382
                   { IF_LEFT
383
                       { SWAP ;
384
                         DUP ;
385
                         DUG 2 ;
386
                         CAR ;
387
                         CAR ;
388
                         CAR ;
389
                         CAR ;
390
                         SENDER ;
391
                         COMPARE ;
392
                         EQ ;
393
                         IF {} { PUSH string "NOT_ADMIN" ; FAILWITH } ;
394
                         SWAP ;
395
                         DUP ;
396
                         DUG 2 ;
397
                         CAR ;
398
                         GET 5 ;
399
                         SWAP ;
400
                         DUP ;
401
                         DUG 2 ;
402
                         CDR ;
403
                         MEM ;
404
                         IF {} { PUSH string "EP_DOESNT_EXIST" ; FAILWITH } ;
405
                         SWAP ;
406
                         UNPAIR ;
407
                         UNPAIR ;
408
                         SWAP ;
409
                         UNPAIR ;
410
                         SWAP ;
411
                         UNPAIR ;
412
                         DUP 6 ;
413
                         CAR ;
414
                         SOME ;
415
                         DIG 6 ;
416
                         CDR ;
417
                         UPDATE ;
418
                         PAIR ;
419
                         SWAP ;
420
                         PAIR ;
421
                         SWAP ;
422
                         PAIR ;
423
                         PAIR }
424
                       { DROP ;
425
                         DUP ;
426
                         CAR ;
427
                         CAR ;
428
                         CAR ;
429
                         CAR ;
430
                         SENDER ;
431
                         COMPARE ;
432
                         EQ ;
433
                         IF {} { PUSH string "NOT_ADMIN" ; FAILWITH } ;
434
                         UNPAIR ;
435
                         SWAP ;
436
                         UNPAIR ;
437
                         UNPAIR ;
438
                         SWAP ;
439
                         CAR ;
440
                         PUSH bool True ;
441
                         SWAP ;
442
                         PAIR ;
443
                         SWAP ;
444
                         PAIR ;
445
                         PAIR ;
446
                         SWAP ;
447
                         PAIR } }
448
                   { IF_LEFT
449
                       { SWAP ;
450
                         DUP ;
451
                         DUG 2 ;
452
                         CAR ;
453
                         CAR ;
454
                         CAR ;
455
                         CAR ;
456
                         SENDER ;
457
                         COMPARE ;
458
                         EQ ;
459
                         IF {} { PUSH string "NOT_ADMIN" ; FAILWITH } ;
460
                         SWAP ;
461
                         UNPAIR ;
462
                         UNPAIR ;
463
                         UNPAIR ;
464
                         CDR ;
465
                         DIG 4 ;
466
                         PAIR ;
467
                         PAIR ;
468
                         PAIR ;
469
                         PAIR }
470
                       { SWAP ;
471
                         DUP ;
472
                         DUG 2 ;
473
                         CAR ;
474
                         CAR ;
475
                         CAR ;
476
                         CAR ;
477
                         SENDER ;
478
                         COMPARE ;
479
                         EQ ;
480
                         IF {} { PUSH string "NOT_ADMIN" ; FAILWITH } ;
481
                         SWAP ;
482
                         UNPAIR ;
483
                         SWAP ;
484
                         UNPAIR ;
485
                         SWAP ;
486
                         UNPAIR ;
487
                         CDR ;
488
                         DIG 4 ;
489
                         PAIR ;
490
                         PAIR ;
491
                         SWAP ;
492
                         PAIR ;
493
                         SWAP ;
494
                         PAIR } } ;
495
                 NIL operation }
496
               { IF_LEFT
497
                   { IF_LEFT
498
                       { SWAP ;
499
                         DUP ;
500
                         DUG 2 ;
501
                         CAR ;
502
                         CAR ;
503
                         CAR ;
504
                         CAR ;
505
                         SENDER ;
506
                         COMPARE ;
507
                         EQ ;
508
                         IF {} { PUSH string "NOT_ADMIN" ; FAILWITH } ;
509
                         UPDATE 9 ;
510
                         NIL operation }
511
                       { SWAP ;
512
                         DUP ;
513
                         DUG 2 ;
514
                         CAR ;
515
                         CAR ;
516
                         CAR ;
517
                         CAR ;
518
                         SENDER ;
519
                         COMPARE ;
520
                         EQ ;
521
                         IF {} { PUSH string "NOT_ADMIN" ; FAILWITH } ;
522
                         DUP ;
523
                         BALANCE ;
524
                         COMPARE ;
525
                         GE ;
526
                         IF {} { PUSH string "INSUFFISCIENT_BALANCE" ; FAILWITH } ;
527
                         NIL operation ;
528
                         DUP 3 ;
529
                         GET 10 ;
530
                         CONTRACT unit ;
531
                         IF_NONE { PUSH string "XTZ_TRANSFER_FAILED" ; FAILWITH } {} ;
532
                         DIG 2 ;
533
                         UNIT ;
534
                         TRANSFER_TOKENS ;
535
                         CONS } }
536
                   { IF_LEFT
537
                       { SWAP ;
538
                         DUP ;
539
                         DUG 2 ;
540
                         CAR ;
541
                         CAR ;
542
                         CAR ;
543
                         CAR ;
544
                         SENDER ;
545
                         COMPARE ;
546
                         EQ ;
547
                         IF {} { PUSH string "NOT_ADMIN" ; FAILWITH } ;
548
                         SWAP ;
549
                         DUP ;
550
                         DUG 2 ;
551
                         GET 3 ;
552
                         GET 4 ;
553
                         IF { PUSH string "EPS_LOCKED" ; FAILWITH } {} ;
554
                         DUP ;
555
                         CDR ;
556
                         IF_LEFT
557
                           { IF_LEFT
558
                               { IF_LEFT
559
                                   { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 0 ; UPDATE ; SWAP }
560
                                   { IF_LEFT
561
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 1 ; UPDATE ; SWAP }
562
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 2 ; UPDATE ; SWAP } } }
563
                               { IF_LEFT
564
                                   { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 3 ; UPDATE ; SWAP }
565
                                   { IF_LEFT
566
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 4 ; UPDATE ; SWAP }
567
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 5 ; UPDATE ; SWAP } } } }
568
                           { IF_LEFT
569
                               { IF_LEFT
570
                                   { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 6 ; UPDATE ; SWAP }
571
                                   { IF_LEFT
572
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 7 ; UPDATE ; SWAP }
573
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 8 ; UPDATE ; SWAP } } }
574
                               { IF_LEFT
575
                                   { IF_LEFT
576
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 9 ; UPDATE ; SWAP }
577
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 10 ; UPDATE ; SWAP } }
578
                                   { IF_LEFT
579
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 11 ; UPDATE ; SWAP }
580
                                       { DROP ; DIG 2 ; SWAP ; CAR ; SOME ; PUSH nat 12 ; UPDATE ; SWAP } } } } }
581
                       { IF_LEFT
582
                           { SWAP ;
583
                             DUP ;
584
                             DUG 2 ;
585
                             CAR ;
586
                             CAR ;
587
                             CAR ;
588
                             CAR ;
589
                             SENDER ;
590
                             COMPARE ;
591
                             EQ ;
592
                             IF {} { PUSH string "NOT_ADMIN" ; FAILWITH } ;
593
                             SWAP ;
594
                             UNPAIR ;
595
                             UNPAIR ;
596
                             SWAP ;
597
                             UNPAIR ;
598
                             SWAP ;
599
                             UNPAIR ;
600
                             SWAP ;
601
                             CAR ;
602
                             DIG 5 ;
603
                             SWAP ;
604
                             PAIR ;
605
                             SWAP ;
606
                             PAIR ;
607
                             SWAP ;
608
                             PAIR ;
609
                             SWAP ;
610
                             PAIR ;
611
                             PAIR }
612
                           { SWAP ;
613
                             DUP ;
614
                             DUG 2 ;
615
                             CAR ;
616
                             CAR ;
617
                             CAR ;
618
                             CAR ;
619
                             SENDER ;
620
                             COMPARE ;
621
                             EQ ;
622
                             IF {} { PUSH string "NOT_ADMIN" ; FAILWITH } ;
623
                             UPDATE 10 } } ;
624
                     NIL operation } } } ;
625
         NIL operation ;
626
         SWAP ;
627
         ITER { CONS } ;
628
         DUG 2 ;
629
         PAIR ;
630
         SWAP ;
631
         PAIR } ;
632
  view "get_extended_storage" bytes bytes
633
        { UNPAIR 3 ; DIG 2 ; DROP ; SWAP ; CAR ; GET 7 ; SWAP ; GET ; IF_NONE { PUSH int 29 ; FAILWITH } {} } }