arm/thumb outputters