I’m 2/3 of the way through line edits on Python for RTL Verification.