doc
arm stubs
arm.rkt links with stubs