[cctalk] Burroughs B5000 vs. B6500