Recompiled the C code into ARM using arm-none-linux-gnueabi-gcc (I believe we compiled it to Intel assembly before).