1import angr
2
3######################################
4# close
5######################################
6
7class close(angr.SimProcedure):
8    def run(self, fd):  # pylint:disable=arguments-differ
9        if self.state.posix.close(fd):
10            return 0
11        else:
12            return -1
13