Due to a bug in the downcall linker stub generation, we don't save the return value when capturing call state for trivial calls, and the return value gets corrupted.