The same test simplified with annotations