Random coding tidbits