Start rewriting the THUMB stub code generator