macro_rules! implement_allocator {
    ($bound_name: ty,
   $type_name: ty,
   $sub_type_name: ty,
   $local_name: ident) => { ... };
}