'Returns a concrete value for this file satisfying the current state constraints.
Or: generate a testcase for this file.'

def concretize(self, **kwargs):

    return self.state.se.any_str(self.all_bytes(), **kwargs)
