I am looking at this Tiny BASIC dump which seems to consist of two sections, the first being a list of symbol addresses, and the second one containing Intel Hexadecimal records with a leading space:
001 BLOCK01 0 002 A 0007H 003 ABS 0450H ... 233 BLOCK31 0 $ :100000003100203EFFC34506E3EFBEC368003E0D4E ... $
What is the name of this file format, and what modern tools can I use to convert it into a binary image?
(of course, one way is to process it textually: keep only lines
^ *: and then delete
^ *, resulting in a normal IHEX file; but I would prefer something that is more robust.)