def METHOD_NAME(self):
    with self.assertRaises(SimPosixError):
        # symbolic whence is currently not possible
        state = SimState(arch="AMD64", mode="symbolic")
        # This could be any number above 2 really
        fd = 3
        # Create a file
        assert fd == state.posix.open(b"/tmp/qwer", 1)
        whence = state.solver.BVS("whence", 64)
        # This should cause the exception
        lseek(state, [fd, 0, whence])