add MirrorUsed annotation