Execution Log Replay

xxxxx xxxx xxxx xx xxx-xx-xxx xxxxxxxxxxxxxx: xxxxxx xxx xxx'x xxxxxxxxx xxx xxx xxxxx xxxx xxx xxxxxxxxx xxxxx xxxxxx xxxxx xxxx xxx xxx xxxxxxxx. xxx xxx xxxxx xxxx xx xxxxxxxx xxxxxx, xx xxxx xxxxx xxx xxxxxxx, xxx xxx xxxxxx xxx xx xx xxxxxxx xxxxx xxxxx xxxxx xxxxx.

xxxx xxxx xxx xxx xxxx xx|xxxxx_xx|xxxxx|xxx xxxx xxxxxxx xxxx xxxxxx xxxxxxxxx xx |. xxxxxxxxx xxxxxx_xxx(xxxxx), xxxxxx x xxxx xx xxxxxxx, xxxxxxxxx xxxx xx xxxx xxxxx (xxx xx xxxxx xx xxxxxxxx xxx xx xxxxx xxxx xxx xxxxxxxx), xxx xxxxxxxxx xxx x-xxxxx

(xxxxx_xxxxxx_xxxxx, xxxxxxxxx_xxxxxx_xxxxx, xxxxxxxxx_xxxx_xxxxxxxxx_xxxxx, xxxxx_xxxxxx_xxx)

x xxxx xx xxxxxxxxx xxx xxxx xx xxxxxxx xxxxxx xxx xx xxx xxxxxxxxx xxxx: xxxxxxx xxxx |-xxxxxxxxx xxxxxx; xx xx xxx xx xxxx xxxxxx; xxxxx_xx xx xxx-xxxxx; xxxxx xx xxxxxxx xxx, xxxx xx xxxxxx; xxx xx xxx xx xxxx xxxxxx; xxx xxx xxx xxx xxxx xxx xxx xx xxxxxxx xxxx xxxx (x xxxxxx xxxx'x xxx xxxx xxxxx xx xxxxxx, xxx xxx xxxxx xx xxxxxxx).

x xxxx-xxxxxx xxxx xxx xxxxx xx xxxxxxx xx xxx xxxxxx xxxxx:

• xxx xxxxxxx xxx xxxxx xxxx xxxxx xxxxxxxx xxx; x xxx xxx xx xx xxxx xxxxxxx xxxxxx xx xxxxxxx.
• xxxx xxxx xxx xx xxx xxxxx'x xxxxxx xxxxxxxx; x xxxx xxx xx xxxxxxx xx, xx xxx xxxxx xxx xxxxxxx xxx xxxxx'x xxxxxxxxx xxxxxxxx, xx xxxxxxx xxxxxxxx (xx xxxxxxx xxxxxxxxxxx).
• xxxxxx xxxxx xxx xxxxx xxxxxxxxx; x xxxxxx xxx xx xxxxxxx xx xx xxxxxxx. xxxxx xxxxx xxx xx xxxxx xxxxx xxx xxxxxx xx xxxxxxx.

xxxxxxxx xxxx xxxxx xxxx xxx xxxxxxx, xxxx xx xxxx xxx xxxxxx: xxxxx xxxxxx (xxxxxx == xxxxx, xxx xxxx xxxx xxxx xx x xxxxxx xxxxxxx xxxxx xxx xxxx xxxx), xxxxxxxxx xxxx xxxxxxxxx (xxxxxxxxx xxx xxxxxx < xxxxx), xxxxxxxxx xxxxxx (xxx xxxxxxxxx xxx x < xxxxxx < xxxxx). xxxxxx xxxx xxx xxxx xxx xxxxxxxx xxxxx xx xx xxxxxx. xxxxx_xxxxxx_xxx xxxx xxxxxx xxxxxxxx xxxx xxx xxxxxx.

xxxxxxxx

xxxxxx_xxx(["x|x|xxx|xxx", "x|x|xxxx|xx", "x|x|xxx|xx", "x|x|xxxx|xx", "x|x|xxxxxx|x"])
# (x, x, x, xxx)
# x xxxxx xx xxxx xx (xxxxx xxxxxx); x xx xxxxxxxxx xxxx xx xxxxxxxxx

xxxxxx_xxx(["x|x|xxx|xxx", "x|x|xxxx|xx", "xxx xxxx", "x|x|xxxx|x", "x|x|xxxx|xx", "x|x|xxx|xx"])
# (x, x, x, xx)
# "xxx xxxx" xxx xxx xxxx-xxx xxxx xxx xxxxxxxxx; x xx xxxxxxx; x xx xxxx
# xxx xxxxxxxx, xx xx xxxxx xx xx xxxxxx

xxxxxxxxxxx

• xx xx (x xxxxx xx^x) xxxxx; xxxxxxxxxx xxx xx xxxxxx xxxxxxxx.
• xxx xxxx xxxx x xxxx xx xxxxx xxxxxx xx xxxxxxxx; xxx xxxxxx xxxxxx xxxx xx xxxxxxxx xx xxxxxxxx (x(x)), xxx xxxxxxx xx xxxxxxxx xxxx xxxxxxx xxx xxx xxx xxxxx.