XSB/etc/images
