(Random): In random, use @code for *random-state*.