'tux' can be produced by 'aaaaatux'