Macro fact 

macro_rules! fact {
    ((= $($arg:tt)*)) => { ... };
    ($a:tt) => { ... };
}