I'm not sure how this differs from existing CFI implementations? It looks like the 'type hash' is from the Google CFI, and I have vague...