# Test the generation of jalx opcodes .set nomips16 jalx external_label