annotated module