Tagged arm-microprocessors