| 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 | |
| " |