// prints 5 ::emit<::decltype(::difference<'F', 'A'>)>::commit;