contract D { }