3 ) { alttt6.