\set ECHO 0
SELECT set_value('key', 'value');
 set_value 
-----------
 
(1 row)

SELECT set_value('Key', 'Value');
 set_value 
-----------
 
(1 row)

SELECT set_value('KEY', 'VALUE');
 set_value 
-----------
 
(1 row)

SELECT get_value('key');
 get_value 
-----------
 VALUE
(1 row)

SELECT get_value('Key');
 get_value 
-----------
 VALUE
(1 row)

SELECT get_value('KEY');
 get_value 
-----------
 VALUE
(1 row)

ROLLBACK;