126_bound_global.c:11: at main: BCHECK: ........ (size 4) is outside of the region (..................)126_bound_global.c:11: at main: RUNTIME ERROR: invalid memory access126_bound_global.c:11: at main: BCHECK: ........ (size 4) is outside of the region (..................)
126_bound_global.c:11: at main: RUNTIME ERROR: invalid memory access