[crux-devel] [RFC] gl-select modification