INNER CODE UNIT · JavaScript

dump

FStarLang/karamel · krmllib/js/loader.js:69

function dump(mem, size, ofs) {
  let m8 = new Uint8Array(mem.buffer);
  if (!ofs)
    ofs = 0;
  let i = 0;
  let buf = "";
  while (i < size) {
    buf += p32(ofs + i) + "    ";
    for (let j = 0; j < 32; ++j) {
      buf += p8(m8[ofs+i+j]);
      if (j % 4 == 3)
        buf += " ";
    }
    buf += "    ";
    for (let j = 0; j < 32; ++j) {
      let c = m8[ofs+i+j];
      if (32 <= c && c < 128)
        buf += String.fromCharCode(c);

View source record →