mem annotations