int mylibD(void) { return -1; }