def sample(self): return sample_integer(low, high)
def query_model(self): self.val = sample_integer(0, 10)