contract A { }