/* this is a nothing file, called from who-knows-where, apropro of nothing */