Remove locked routines#6

SchrodingerZhu wants to merge 2 commits intodigama0:maindigama0/lean-sys:mainfrom

SchrodingerZhu:fix-init-stdSchrodingerZhu/lean-sys:fix-init-stdCopy head branch name to clipboard