int access(const char *path, int mode)
{
    (void)*path; (void) mode;

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