EXIT=0

FILES="A B"

A_1='0123456789012345678901234567890123456789'
A_2='0123\x03\x00\x00\x00\x00\x00\x41\x1c2345678901234567890123456789'


INPUT='
open 0 A 0 40
mread 0 4 8 1 2 3 1
close 0
'

OUTPUT="# 
# open 0 A 0 40
# mread 0 4 8 1 2 3 1
1.2.0003: 1c41 0000
# close 0
"