[mojo] Update the codebase to accommodate Mojo v0.25.6#120

forfudan merged 3 commits intomainforfudan/decimojo:mainfrom

versionforfudan/decimojo:versionCopy head branch name to clipboard