apが高度に複雑化するに従って、armの文書化に形式手法が必要とされるようになり、本来aim向けだったexpressがarmにも使われるようになった。