macro_rules! cast_into {
    ($ty:ty) => { ... };
    ($ty:ty; $($into:ty),*) => { ... };
}