// Run in locally built PXT project, with clipboard containing output of (gdb) x/40x $sp or so

let fs = require("fs")

let child_process = require("child_process")

let lineNo = 0

let addresses = {}

let fn = ""

for (let line of fs.readFileSync("built/binary.asm", "utf8").split(/\n/)) {

lineNo++

let m = /; (0x[a-f0-9]+)/.exec(line)

if (m) {

let addr = parseInt(m[1], 0)

addresses[addr] = fn + " @ vi +" + lineNo + " built/binary.asm / " + line

}

m = /; Function (.*)/.exec(line)

if (m) fn = m[1]

if (/^; endfun/.test(line))

fn = ""

}

let stack = child_process.execSync("pbpaste", {

encoding: "utf8"

})

for (let line of stack.split(/\n/)) {

let m = /^0x[a-f0-9]+:\s+(.*)/.exec(line)

if (m) {

for (let w of m[1].split(/\s+/)) {

let k = parseInt(w, 0)

if (k < k) continue

let ok = false

for (let off = 5; off >= -4; --off) {

if (addresses[k - off]) {

console.log(`0x${k.toString(16)} - ${addresses[k - off]}`)

ok = true

break

}

}

if (!ok)

console.log(`0x${k.toString(16)}`)

}

}

}