Whoops. By fine, I meant that the .s file was produced fine. Linking failed due to undefined reference to `OV' I.E. some voids crept in.