checkpoint for array annotation values, and tests