-- Verify numerus:extension_iban on pg
begin;
select 1/count(*) from pg_extension where extname = 'iban';
rollback;