Array bound annotation