still trying to find the best way to convert the PL/0 ST to Python ST.