Macro prop_test 

macro_rules! prop_test {
    ($strategy:expr, $test:expr, $config:expr) => { ... };
    ($strategy:expr, $test:expr) => { ... };
}