This example tries to represent the worst case for very short contracts.

Example is an executable description of a contract and an entry point with a (int)->int signature.