testing contract annotations