// contract test {}