outline of the contract.h header