top-level annotations to avoid dealing with importing types