
"HAL bug"
Not to be picky, but the bug that caused the malfunction of HAL was something that caused it to not to be able to resolve what appear to be contradicting instructions.
The AE35 unit malfunction never happened.
In fact, HAL was predicting a failure of that unit (the prediction itself was a lie).
R