Some random codes