void xximspot(int, int);