Diagnostics for the Texas Instruments Professional Computer