SET client_encoding=UTF8;
DROP TABLE IF EXISTS t;
CREATE TABLE t (
 i INTEGER,
 ⁠PRIMARY KEY (i)
);