static int close_f(int argc, char **argv)

{

    bdrv_close(bs);

    bs = NULL;

    return 0;

}

static int close_f(int argc, char **argv)

{

    bdrv_close(bs);

    bs = NULL;

    return 0;

}

    bdrv_close(bs);
static int FUNC_0(int VAR_0, char **VAR_1)

{

    bdrv_close(bs);

    bs = NULL;

    return 0;

}

static int FUNC_0(int VAR_0, char **VAR_1)
{ bdrv_close(bs); bs = NULL; return 0; }