This is an alternative implementation, which still relies on adding theGUC_DYNAMIC, flag but doesn't require adding a new, sql-accessiblefunction to convert the GUC to a pretty/human display value.