Method Summaries: add support for reading array load instructions from XML
Summary of FileOutputStream.writeBytes: simulate reading from array and writing to outside ('real world')