%PDF-1.4 % 4 0 obj > endobj 7 0 obj (Java and the Java Memory Model \204 \040a Unified, Machine-Checked Formalisation) endobj 8 0 obj > endobj 26 0 obj > stream xڅYKQz/H6Nf砑hi=4F_Oh[nX⫪XUz?݅wQEI'v^gA^e x&,6S&fƓ|#-m>?}* TmT50޾?hh(9Zyؔ?j2C{PWe2Oez)~A՘mT`ePoF]Y-> 6*lꑗKSE 0(k5v0c'so'KLČP٤@2iSd]#ao4oW[)AbX?h