keys: annotate seqfile ops with __releases and __acquires