contract Empty {}