8-byte align the ARM stack. Type some ideas.