invariant

Attribute Macro invariant 

#[invariant]