parameter int;
storage (bls12_381_fr);
code {
       UNPAIR;
       MUL;
       NIL operation;
       PAIR;
     };