The byte-code-loading command of [TclPro].