---
defined-atoms:
    - name:         _mips_micro
      code-model:   mips-micro