macro_rules! jvmti_catch {
($jvmti:expr, $name:tt, |$e:ident:$type:ty| $callback:block) => { ... };
($jvmti:expr, $name:tt, |$e:ident:$type:ty| $callback:block $(, $args:expr )* ) => { ... };
}
macro_rules! jvmti_catch {
($jvmti:expr, $name:tt, |$e:ident:$type:ty| $callback:block) => { ... };
($jvmti:expr, $name:tt, |$e:ident:$type:ty| $callback:block $(, $args:expr )* ) => { ... };
}