Write actual ARM assembly code as output.

The code was generated by GCC and simply prints 42 :)