Attribute Macro invariant

#[invariant]