exec_id :: map (fn Print {exec_id, ...} => exec_id) prints;

       exec_id :: map (fn Print {exec_id, ...} => exec_id) prints;

 local

 local

 fun run_print execution_id (Print {name, delay, pri, print_process, ...}) =

 fun run_print execution_id (Print {name, delay, pri, print_process, ...}) =

     let

     let

       val group = Future.worker_subgroup ();

       val group = Future.worker_subgroup ();

       fun fork () =

       fun fork () =

         memo_fork {name = name, group = SOME group, deps = [], pri = pri, interrupts = true}

         memo_fork {name = name, group = SOME group, deps = [], pri = pri, interrupts = true}

           execution_id print_process;

           execution_id print_process;