\set ECHO off
set client_min_messages = warning;
\i asn1oid.sql
