#output-contract