update: a[9] = 0