# read contents from multiply opened unchanged file
return 0
arguments test_open_multiple.zip fopen stuff fopen stuff fread 0 2 fread 1 4 fread 0 3 fread 1 3 fread 0 3 fread 1 1 unchange_all
file test_open_multiple.zip test_open_multiple.zip
stdout
opened 'stuff' as file 0
opened 'stuff' as file 1
ababcdcdeefgfghh
end-of-inline-data