Array read. In factor(), when we see name[, check if it's an array variable. If yes: load64(base + idx * 8). If no: packed string byte access load8(addr + idx).