--- /dev/null
+
+Invalid read of size 2
+ at 0x........: main (globalerr.c:12)
+ Address 0x........ expected vs actual:
+ Expected: global array "a" of size 14 in object with soname "NONE"
+ Actual: unknown
+ Actual: is 0 after Expected
+
+Invalid read of size 2
+ at 0x........: main (globalerr.c:12)
+ Address 0x........ expected vs actual:
+ Expected: global array "b" of size 14 in object with soname "NONE"
+ Actual: unknown
+ Actual: is 0 after Expected
+
+
+ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)