Attribute Macro Precond_Pinned

Source
#[Precond_Pinned]