Fixed array assertion