function asmFunc(global, env, buffer) {
 "use asm";
 var HEAP8 = new global.Int8Array(buffer);
 var HEAP16 = new global.Int16Array(buffer);
 var HEAP32 = new global.Int32Array(buffer);
 var HEAPU8 = new global.Uint8Array(buffer);
 var HEAPU16 = new global.Uint16Array(buffer);
 var HEAPU32 = new global.Uint32Array(buffer);
 var HEAPF32 = new global.Float32Array(buffer);
 var HEAPF64 = new global.Float64Array(buffer);
 var Math_imul = global.Math.imul;
 var Math_fround = global.Math.fround;
 var Math_abs = global.Math.abs;
 var Math_clz32 = global.Math.clz32;
 var Math_min = global.Math.min;
 var Math_max = global.Math.max;
 var Math_floor = global.Math.floor;
 var Math_ceil = global.Math.ceil;
 var Math_sqrt = global.Math.sqrt;
 var abort = env.abort;
 var nan = global.NaN;
 var infinity = global.Infinity;
 var i64toi32_i32$HIGH_BITS = 0;
 function $0() {
  return 195940365 | 0;
 }
 
 function $1() {
  return 4294967295 | 0;
 }
 
 function $2() {
  return 2147483647 | 0;
 }
 
 function $3() {
  return 2147483649 | 0;
 }
 
 function $4() {
  return 2147483648 | 0;
 }
 
 function $5() {
  return 2147483648 | 0;
 }
 
 function $6() {
  return 2147483648 + 1 | 0 | 0;
 }
 
 function $7() {
  return 0 | 0;
 }
 
 function $8() {
  return 10 | 0;
 }
 
 function $9() {
  return 4294967295 | 0;
 }
 
 function $10() {
  return 42 | 0;
 }
 
 function $11() {
  i64toi32_i32$HIGH_BITS = 212580974;
  return 195455598 | 0;
 }
 
 function $12() {
  i64toi32_i32$HIGH_BITS = 4294967295;
  return 4294967295 | 0;
 }
 
 function $13() {
  i64toi32_i32$HIGH_BITS = 2147483647;
  return 4294967295 | 0;
 }
 
 function $14() {
  i64toi32_i32$HIGH_BITS = 2147483648;
  return 1 | 0;
 }
 
 function $15() {
  i64toi32_i32$HIGH_BITS = 2147483648;
  return 0 | 0;
 }
 
 function $16() {
  i64toi32_i32$HIGH_BITS = 2147483648;
  return 0 | 0;
 }
 
 function $17() {
  var i64toi32_i32$5 = 0, i64toi32_i32$4 = 0, i64toi32_i32$3 = 0;
  i64toi32_i32$3 = 1;
  i64toi32_i32$4 = 0 + i64toi32_i32$3 | 0;
  i64toi32_i32$5 = 2147483648 + 0 | 0;
  if (i64toi32_i32$4 >>> 0 < i64toi32_i32$3 >>> 0) i64toi32_i32$5 = i64toi32_i32$5 + 1 | 0;
  i64toi32_i32$5 = i64toi32_i32$5;
  i64toi32_i32$HIGH_BITS = i64toi32_i32$5;
  return i64toi32_i32$4 | 0;
 }
 
 function $18() {
  i64toi32_i32$HIGH_BITS = 0;
  return 0 | 0;
 }
 
 function $19() {
  i64toi32_i32$HIGH_BITS = 0;
  return 10 | 0;
 }
 
 function $20() {
  i64toi32_i32$HIGH_BITS = 4294967295;
  return 4294967295 | 0;
 }
 
 function $21() {
  i64toi32_i32$HIGH_BITS = 0;
  return 42 | 0;
 }
 
 return {
  i32_test: $0, 
  i32_umax: $1, 
  i32_smax: $2, 
  i32_neg_smax: $3, 
  i32_smin: $4, 
  i32_alt_smin: $5, 
  i32_inc_smin: $6, 
  i32_neg_zero: $7, 
  i32_not_octal: $8, 
  i32_unsigned_decimal: $9, 
  i32_plus_sign: $10, 
  i64_test: $11, 
  i64_umax: $12, 
  i64_smax: $13, 
  i64_neg_smax: $14, 
  i64_smin: $15, 
  i64_alt_smin: $16, 
  i64_inc_smin: $17, 
  i64_neg_zero: $18, 
  i64_not_octal: $19, 
  i64_unsigned_decimal: $20, 
  i64_plus_sign: $21
 };
}