Macro proof_fact_elem 

macro_rules! proof_fact_elem {
    ($hex:expr) => { ... };
}