}
}
[
- "resource:extra/elf/a.out" [
+ "resource:extra/elf/a.elf" [
sections [ name>> ] map
] with-mapped-elf
]
}
}
[
- "resource:extra/elf/a.out" [
+ "resource:extra/elf/a.elf" [
segments [ program-header>> p_type>> PT_LOAD = ] find nip
sections [ name>> ] map
] with-mapped-elf
}
}
[
- "resource:extra/elf/a.out" [
+ "resource:extra/elf/a.elf" [
sections ".symtab" find-section symbols
[ name>> ] map
] with-mapped-elf
}
}
[
- "resource:extra/elf/a.out" [
+ "resource:extra/elf/a.elf" [
sections ".symtab" "main" find-section-symbol
symbol-data >byte-array
] with-mapped-elf