baksmali: resource IDs are 32-bit