\echo Use "CREATE EXTENSION psl" to load this file. \quit
-- Nothing