example in doc (bogosort)