[Gretl-users] Random draw from a known discrete distribution