astllc/production: links for byted-assert-std-executor