int usleep(unsigned int usec) {
	if (__VERIFIER_nondet_int()) {
		*bb_errno = __VERIFIER_nondet_int();
		assume_abort_if_not(*bb_errno != 0);
		return -1;
	}
	return 0;
}