Actually testing annotations