start of gl.ext.list