import sys

fileName = ''

if len(sys.argv) is 2:
fileName = sys.argv[1]

elif len(sys.argv) is 1:
filename = input("filename: ")

else:
print("Usage:\n" + sys.argv[0] + "\n" + sys.argv[0] + " <filename>")
exit

header = b'\x00\x00\x08\x02'
data = b''
numImages = 0

byteMap = {
b'\x00' : b'\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00',
b'\x01' : b'\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00',
b'\x02' : b'\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00',
b'\x03' : b'\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00',
b'\x04' : b'\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00',
b'\x05' : b'\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00',
b'\x06' : b'\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00',
b'\x07' : b'\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00',
b'\x08' : b'\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00',
b'\x09' : b'\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01'
}

with open(fileName, 'rb') as f:

f.read(4)
numImages = int.from_bytes(f.read(4), byteorder = 'big')
header = header + numImages.to_bytes(4, byteorder = 'big')
header = header + b'\x00\x00\x00\x0a'
while 1:
byte = f.read(1)
if not byte:
break

data = data + byteMap[byte]

with open('out.idx', 'wb') as f:

f.write(header + data)