Hello, Please have a look at patch 0003 here: https://postgr.es/m/210036.1765651719@localhost maybe it would be useful to put that change in while you're hacking on this code, to avoid having to change it again soon after. It's quite small.
-- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/
