altos: ARM -O0 flag appears to generate buggy code