INTEGER alpha ~ discrete_uniform(-10, 10)

INTEGER beta = 5 + alpha

INTEGER gamma = alpha * 8

INTEGER delta = 2 * gamma

INTEGER epsilon = beta + gamma