7456: make random_symbols canonically ordered