Macro ffi_type_assert 

macro_rules! ffi_type_assert {
    ($a:ty as $b:ty) => { ... };
}