pub type R = R<SPINLOCK_SPEC>;
Register SPINLOCK%s reader
SPINLOCK%s
struct R { /* private fields */ }