((s0 <- (mem ebp -20)) (eax <- (array-error s0 0)) (s1 <- (mem ebp -20)) (eax <- (array-error s1 0)) (s2 <- (mem ebp -20)) (eax <- (array-error s2 0)) (s3 <- (mem ebp -20)) (eax <- (array-error s3 0)))
