1%verify "executed" 2/* EABI doesn't define a double remainder function, but libm does */ 3%include "armv5te/binopWide2addr.S" {"instr":"bl fmod"} 4