Macro precondition_marker_impls 

macro_rules! precondition_marker_impls {
    ($name:ident) => { ... };
}