| EXIT=0 | |
| FILES="A B" | |
| A_1='0123456789012345678901234567890123456789' | |
| A_2='A1CB4567GFED2345ONMLKJIH4567890123456789' | |
| INPUT=' | |
| open 0 A 0 40 | |
| write 0 0 1 0x41 | |
| write 0 2 2 0x4243 | |
| write 0 8 4 0x44454647 | |
| write 0 16 8 0x48494a4b4c4d4e4f | |
| close 0 | |
| ' | |
| OUTPUT="# | |
| # open 0 A 0 40 | |
| # write 0 0 1 0x41 | |
| # write 0 2 2 0x4243 | |
| # write 0 8 4 0x44454647 | |
| # write 0 16 8 0x48494a4b4c4d4e4f | |
| # close 0 | |
| " |