I found a new one with the following reason: Termination Reason: RUNNINGBOARD 3735883980 (equivalent of 0xdead10cc)

We've resolved it by exploring all the various object formats... So basically we just have to ignore the code example of the WWDC ;)