more annotation reification tests