[1]  [Execute procedure] procedure=done
[1]  [Get numeric] numeric=123
[1]  [Get string] string=a_string
[1]  [Get current] current=A
[2]  [Execute procedure] procedure=done
[2]  [Get numeric] numeric=123
[2]  [Get string] string=a_string
[2]  [Get current] current=A
[3]  [Execute procedure] procedure=done
[3]  [Get numeric] numeric=123
[3]  [Get string] string=a_string
[3]  [Get current] current=A
[4]  [Execute procedure] procedure=done
[4]  [Get numeric] numeric=123
[4]  [Get string] string=a_string
[4]  [Get current] current=A
[5]  [Execute procedure] procedure=done
[5]  [Get numeric] numeric=123
[5]  [Get string] string=a_string
[5]  [Get current] current=A
Execution completed