pub const pg_enc__PG_LAST_ENCODING_: pg_enc = 42;