{ parameter (unit %default) ;

  storage (pair (address %oracle) (string %symbol)) ;

  code { CDR ;

         NIL operation ;

         SENDER ;

         CONTRACT unit ;

         IF_NONE { PUSH int 179 ; FAILWITH } {} ;

         AMOUNT ;

         UNIT ;

         TRANSFER_TOKENS ;

         CONS ;

         PAIR } ;

  view "get_price" unit nat

        { CDR ;

          UNPAIR ;

          SWAP ;

          VIEW "get_price" nat ;

          IF_NONE { PUSH int 502 ; FAILWITH } {} ;

          PUSH nat 1000000 ;

          PUSH nat 1000000000000 ;

          MUL ;

          EDIV ;

          IF_NONE { PUSH int 190 ; FAILWITH } { CAR } } }