module annotations