# Contracts.with\_function\_name\_suffix()
