# I12 final-opcode success paths: aligned CVB/CVD, byte-addressable STCK,
# and aligned STCKE after specification-alignment hardening.
src=here/'i12_final_opcodes01.tsds'
p=subprocess.run([str(exe)],stdin=src.open(),stdout=subprocess.PIPE,stderr=subprocess.PIPE,text=True)
if p.returncode != 0: fail(f'i12_final_opcodes01: RC {p.returncode}, expected 0')
if p.stderr: fail(f'i12_final_opcodes01: unexpected stderr: {p.stderr!r}')
if ok: print('PASS i12_final_opcodes01')

