1  const core = globalThis.Deno.core;
 2  const ops = core.ops;
 3  
 4  function batch_size() {
 5    return ops.op_batch_size();
 6  }
 7  
 8  function batch_get(index) {
 9    return ops.op_batch_get(index);
10  }
11  
12  function output_set(value) {
13    ops.op_output_set(value);
14  }
15  
16  globalThis.Script = {
17    batch_size,
18    batch_get,
19    output_set,
20  };