/* PG_AVAIL3 not used */