Annotated private functions