I resolved. "$r0 = M[0]" means that $r[0] is a reference to M[0], so any change to $r0 reflects also in M[0]. Cristina -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100618/3bb7b16c/attachment.html