program wrapper: controlled_execution ensures proper thread attributes (global default is unsafe due to InterruptAsynch;
program wrapper: controlled_execution ensures proper thread attributes (global default is unsafe due to InterruptAsynch;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle