KLEE: Appending variables with different alignment need to be linked

Question

I am attempting to use KLEE with some Swift code. For the sake of simplicity, I\'ve created a basic hello world file.

I am able to compile the Swift file (that uses <