note: print() statements and stderr logging don't have a consistent printing order. Either can buffer log lines and flush them later, and the buffers are independent.
5.6 KiB
5.6 KiB