# Functions

Contract: !bytes.Equal(input, output) && len(input) >= len(output).