arm stubs from #lang to (code-print)