int chdir(const char *path)
{
    (void)*path;
    if (__VERIFIER_nondet_int()) {
        *bb_errno = __VERIFIER_nondet_int();
        assume_abort_if_not(*bb_errno != 0);
        return -1;
    }
    return 0;
}