How to interlace two integers in C?

Question

Let say I have two ints

a = 1234 b = 45678

Now I want to "interlace" them into a third int c that looks something