Neg, inc, and random in prelude