User blog comment:QuasarBooster/Everlasting Egrets/@comment-39253344-20190803213847/@comment-24923514-20190806160449

According to the wiki, "the program pointer advances one bit after each command-execution, and also advances one bit when the goto in a 1-command is executed".

They also provided an example computation for SBCT, which my program matches on every step. It seems to be correct.