(:= (aref x 4) 5)