Stubbing ARM assembly backend