The widget and gadget example from the EIP book