/* so that there's *something* in this file */
int __nowsys__get(void) {return 0;}