macro_rules! impl_statement_query {
    ($A:ty) => { ... };
}